QuickCheck support for the Tasty test framework
