chore: bump dafny verification to 4.7.0 (#666)

Author: josecorella

.github/workflows/daily_ci.yml

@@ -17,7 +17,7 @@ jobs:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: '4.2.0'
+      dafny: '4.7.0'
   # daily-ci-java:
   #   if: github.event_name != 'schedule' || github.repository_owner == 'aws'
   #   uses: ./.github/workflows/library_java_tests.yml

.github/workflows/pull.yml

@@ -12,7 +12,7 @@ jobs:
   pr-ci-verification:
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: '4.2.0'
+      dafny: '4.7.0'
   # pr-ci-java:
   #   uses: ./.github/workflows/library_java_tests.yml
   #   with:

.github/workflows/push.yml

@@ -14,7 +14,7 @@ jobs:
   push-ci-verification:
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: '4.2.0'
+      dafny: '4.7.0'
   # push-ci-java:
   #   uses: ./.github/workflows/library_java_tests.yml
   #   with: