Run QuickCheck tests as part of standard batch