Commenting out QuickCheck dependencies

QuickCheck isn't currently used, but that may change in the future.