For very large control flow graphs the markControllingTerminatorsLive can stack overflow. Fix this by doing the work iteratively instead of recursively. rdar://106198943