Enable choice over verifying external code #143

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.