Dafny is ripe for another release, and some of the changes since 2.3 are not backwards compatible (e.g. forbidding !! on maps, or the new expect keyword).