Rename `printTestCase` -> `counterexample`

`printTestCase` is deprecated in `QuickCheck-2.7`