document QuickCheck version required in README.md
printTestCase is deprecated, use counterexample instead
W3: misc. fixes