Fix blocks that ought to be certain because they're post-dominated by the entry block, and postdom trees for loops without successors which suffered an off-by-one index error