- For a lazy loop, compute whether the child might match empty.  Only if it might do we need any of the checks around empty iterations, and only in those situations do we need to track the starting position or whether we've seen an empty loop, so avoid all work associated with that if the min length of the child is greater than zero.
- If the lazy loop failing will exit the match, avoid doing all the cleanup work that ends up being irrelevant.
- If the lazy loop isn't itself part of another loop, we don't need the backtracking section to push/pop any additional state on the backtracking stack.
- Avoid outputting two gotos in a row in greedy loops.
- Avoid outputting additional if blocks in greedy loops when the checks are identical.
- Add some comments, in particular to loops where the logic can be tricky and hard to follow / reason about.
- Remove some emitted semicolons after labels.
- Fix the naming of a few "SkipBacktrack" labels to conform to the same prefixed naming convention used for other labels