Move the QuickCheck dependency to the right place