Update tests to work with `QuickCheck-2.7`

In `2.7` `Property` is a separate type.
Rename `printTestCase` -> `counterexample`

`printTestCase` is deprecated in `QuickCheck-2.7`
Merge QuickCheck 2.7 support