Fix bug in graph reversal
Infer graph root if only one viable root exists
Compute control dependence graph in graphs.py and check for walks in graph
Start aggressive dead code elimination
Aggressive dead code elimination working...ish...