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 pull request #61 from jdnavarro/master

Update tests to work with `QuickCheck-2.7`