Added GraphOptimizer pass (not finished yet), which will let us do SEG
construction and top-level var merging