qcheck 0.1.2 (cleanup, more reasonable printing of counter-example)