working on new representation for “exits” that will hopefully be more stable
correctly replace uses, get rid of invalid asserts, remove old bbs so the optimizer doesn’t choke