Devel smt

Pull request to bring latest updates to Whiley compiler.

Note that `SmtVerificationCheck` is currently enabled by default - could cause issues being enabled alongside `VerificationCheck`.