Bumped version number to 1.0.0-dev.9.