lazy seq implementation of quick-check