chore: test dafny version step

Author: imabhichow

project.properties

@@ -5,7 +5,7 @@
 #     export `export `cat ./aws-cryptographic-material-providers-library-dafny/project.properties`
 # The Java project include this file as a Gradle properties
 # And the Dotnet projects include and parse this file.
-dafnyVersion=4.9.0
+dafnyVersion=4.11.0
 dafnyVerifyVersion=4.9.1
 # TEMPORARY WORKAROUND: When updating dafnyVersion, try to REMOVE this property first.
 # Only keep if the new Dafny version has Python runtime compatibility issues.