fix handling of un-enumerable patterns to avoid
signalling erros in redex-check (we just bail
out to the ad hoc random generator if we can't
enumerate)