Finished removal of QuickCheck