This crate provides some useful helper functions and macros based on quickcheck.