setup QuickCheck testing