swift234

Enhance the verifier to verify some basic properties of uses.

Also, refactor it to make it completely painless to introduce
new checks at arbitrary levels in the hierarchy.

Swift SVN r4710