Feature request: Add method that returns the max length of a serialization string.

Is there a way to retrieve the maximum possible length of the string that .serialize() method can return for a given game? If not can this be implemented?
We are working with vectorized openspiel states in JAX, and having this feature would be useful to set how long the vectors must be.

Thanks!