swift234

Add support for verifying analyses when -sil-verify-all is passed in.

Currently no passes implement this, but I am going to add support to the
callgraph. I just ran into a callgraph bug that this would have helped
to catch.

rdar://19930214

Swift SVN r25514