Add build_graph function to util.py
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