Merge "Add CFG and SSA form checkers in the optimizing compiler."