Merge "Implement default traversals in CFG & SSA graph checkers."