Export withQuickCheckSize.
(experimental) add size bound