a Rust port of the QuickCheck unit test framework