Actually I meant (?>(?>[^{}]*)|\{(??{$parens})\})*, since I don't see a reason why any of these groups should ever give up something that they successfully matched.

For an explanation of (?>...) see How backtracking works in regular expressions and Avoiding regex backtracking.