Any chance #5421 (<<loop>> in withMVar (reproducible, but with large test case) could be backported to 7.2.2?
7.2.2 will be a minimal bugfix release, fixing only bugs that cannot be worked around. Please let us know if you find any showstoppers.