Branching optimization framework is fully complete now, as well as dead code optimizations.