QuickCheck update from yesterday breaks the build

QuickCheck 2.7 changed `Property` to a newtype instead of a type synonym. This should fix it until we update our test code.