Add support for QuickCheck 2.7

A quick fix for quickcheck's Property now being a newtype. Also added upper version bound to QuickCheck in cabal according to PVP.