describe the [n] parameter in QCheck.mk_test