QuickCheck for Rust (with shrinking).