Deprecate printTestCase in favour of counterexample.
Add (===) for testing equality while printing a counterexample when it fails.