Moves all QuickCheck stuff to Properties.hs