Breaking changes
Remove deprecated countVerificationErrors option (#3165)

The default version of Z3 Dafny uses for verification is now 4.12.1. (#3400)

The default values of several options has changed in Dafny 4.0. See --help for details.

--function-syntax changed from 3 to 4
--quantifier-syntax changed from 3 to 4
--unicode-char changed from false to true (#3623)
The default value of the /allocated option is now 4, and the option itself is deprecated. (#3637)

Compilation to Go no longer attempts to use the Dafny string type and the Go string type interchangably when calling external methods (which was buggy and unsound). (#3647)