Introduced the CFGBuilder class, which provides various helper functions for
passes which build or rewrite CFGs, and factored common functionality from
CFGReducer and SSAPass into CFGBuilder.

Also refactored traversals, in order to fix traversal of Goto expressions.