Merge branch '1.0.0-changes'

Merge branch '1.0.0-changes'

Version 0.10.1.

Proptest-derive version 0.2.0.

Fix thumbv7em-none-eabihf build on no_std.

release 0.9.6, fixing future compat issue

Merge pull request proptest-rs#177 from Centril/release-0.9.5

Release proptest 0.9.5

Merge branch '0.9.4-changes'

Actually bump proptest-derive to 0.1.2.

Proptest version 0.9.3, proptest-derive 0.1.1.