Replace ExceptionalUnitGraph with BriefUnitGraph. Fix bugs relevant to
post-dominator tree construction.