QCheck.mk_test takes more arguments:
[size] to print smallest counterexamples in priority, and
[limit] as a higher bound to the number of printed counter-examples