Configure Dafny verification as a code analyzer

[robin-aws]

Not sure if this is possible, but it would be great to hook into a standard build phase instead of a custom task that can only be run from the command line AFAICT.

See https://docs.microsoft.com/en-us/visualstudio/code-quality/code-analysis-for-managed-code-overview?view=vs-2019