Update binder to ensure a LabelStmt is at the start of every basic block. This means that more labels will be added than there are jumps (for example, immediately following a branch), but it will facilitate generating a CFG.
Initial work on control flow analysis
Support building control flow graphs
Merge remote-tracking branch 'origin/analysis'