multiplication regex: Streamline the check for the division loop failing on its first iteration; length-=9

This takes advantage of the regex engine being eager.