[WIP] Begin code generation for control flow and Phis

Could eliminate `linearizedNodes` by replacing the line with `for (n <- NodeCollector.fromWalk(g.walkTopological))`...