Do `proptest` testing

This is a hypothesis/quickcheck style Rust testing framework. See https://github.com/AltSysrq/proptest for details.

We have `cargo fuzz` set up (and have found one issue with it), but more randomized testing is always more better.