better counting of valid inputs in lazy-smallcheck