Add some checks for MachineCFG consistency. Use AnalyzeBranch and

do extra checking when it succeeds, as those are cases where
CodeGen will be doing particularly interesting CFG modifications.

llvm-svn: 80196