Removed implicit transitions to a "BlockExit" location; we now handle

the end of the block by processing empty blocks (at BlockEntrance) or
when we have just processed the last statement in a block (at PostStmt).

llvm-svn: 45991