Refactoring to reduce stack usage for possessively quantified subpatterns. Also fixed a number of bugs related to repeated subpatterns. Some further tidies consequent on the removal of OP_OPT are also in this patch.
Changed paths: