A new version of the non-simple Possessive Qualifier handler which, like
the Max Until handler, has two loops now.  The first loop is used to
short-circuit any repeat pattern which would not have enough matches in
the repetition.  The second loop is the same as the original, more or
less, for matching as much more as possible, with the exception that it
now knows that a failure to match is always successful because the short
matches are already handled in the first loop.  Because the first loop is
much simpler than the second, it makes sense to do it this way since the
first loop does not require all the extra code, such as special mark
handlers, that the second does.