Bump version to 9.0.0.

This is only a very small change, and in practice no-one is likely to be
using it, but it's a breaking API change, so it gets a major version
bump.