Parallel batch driver for QuickCheck