chore(rust): bump dafny version for rust to 4.10 (#1725)

Author: ajewellamz

.github/workflows/library_interop_tests.yml

@@ -111,7 +111,7 @@ jobs:
         if: matrix.language == 'rust'
         uses: ./.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny Not Rust
         if: matrix.language != 'rust'
@@ -305,7 +305,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny 2 Not Rust
         if: matrix.decrypting_language != 'rust'

project.properties

@@ -7,5 +7,5 @@
 # And the Dotnet projects include and parse this file.
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.1
-dafnyRustVersion=nightly-2025-01-30-7db1e5f
+dafnyRustVersion=4.10.0
 mplVersion=1.11.1-SNAPSHOT