De-Optimizing Debugger

A debugger that is aware of Compiler Optimizations, and corrects branches accordingly.