Removes old QuickCheck dependency