Implement Property Testing where appropriate

The Zcash folks recommend that we use "property testing" to improve our reliability and guard against programming mistakes. We should learn what current best practices are for property testing in Rust, and try it out in a few places to start.

We should get this started early, and then improve over time.