chore(rust): use Dafny 4.10.0 for Rust codegen (#1995)

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -70,7 +70,7 @@ jobs:
       - name: Setup Dafny
         uses: ./submodules/MaterialProviders/.github/actions/setup_dafny/
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Update MPL submodule if using MPL HEAD
         if: ${{ inputs.mpl-head == true }}