Update tests to work with `QuickCheck-2.7`

In `2.7` `Property` is a separate type.