Relooper slow with lots of nested loops

[T-Brick]

Relooper has to recompute a bunch of graph stuff which is done inefficiently. Switching to a dominator based approach would solve this (i think) as well as make the process more verifiable.