QuickCheck and Benchmarks