QuickCheck support for the Tasty test framework.