swift234

Split the verifier out to its own file.
Run it on newly constructed CFGS.
This exposes that Return wasn't being modeled as a terminator.  Fix it to be one.



Swift SVN r2735