swift234

[verifier] Make sure that every BB is a successor of its predecessors and a predecessor of its successors.

This will help to catch errors where one improperly modifies terminators
without updating the appropriate state in a successor/predecessor.

Swift SVN r15824