Enable choice over verifying external code

[DavePearce]

For applications, the Whiley Compiler links all external code into one big WyilFile. I'm slightly unsure whether the boogie backend will actually verify all of this code. Eitherway, we want a config option which allows us to opt out of it.