[export] Set default native serialization version to 9.
This version adds better support for JAX effects.
See description in CHANGELOG.md and also at
https://github.com/google/jax/blob/main/jax/experimental/jax2tf/README.md#native-serialization-versions.
PiperOrigin-RevId: 603579274
