The previous part of the comment is great at explaining what this does!
Thanks, I'm glad to hear that. Explaining the code was probably my biggest concern when writing this; it's not a simple algorithm.
This paragraph got me a little confused at first though, because I didn't made the association with the `progress` flag immediately. Perhaps a rephrasing would help:
We could return a "did we make progress" **boolean** like **in** transform_ir() and run this pass multiple times, but we already know the only block that **remains** to be **addressed**, so there's not much point.
Yeah, the original is at least missing a word; I've adjusted it a little.