Renamed QuickCheck to Test everywhere, since QuickCheck isn’t even used in the automated testing module.