move quickCheckPure' to local and force users to use resizing gen if they care