chore: bring in latest main changes

Author: josecorella

AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy

@@ -429,6 +429,7 @@ module AwsKmsKeyring {
           && AlgorithmSuites.GetEncryptKeyLength(input.materials.algorithmSuite) as nat == |res.value.materials.plaintextDataKey.value|
           && var LastDecrypt := Last(client.History.Decrypt);
           && LastDecrypt.output.Success?
+          && OkForDecrypt(awsKmsArn, awsKmsKey).Pass?
           && exists edk
                // , returnedEncryptionAlgorithm
                | edk in input.encryptedDataKeys

AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/models.py

@@ -2491,7 +2491,7 @@ def __repr__(self) -> str:
 
 
 def _write_initialize_mutation_version_from_dict(
-    d: Dict[str, Any]
+    d: Dict[str, Any],
 ) -> WriteInitializeMutationVersion:
     if "rotate" in d:
         return WriteInitializeMutationVersionRotate.from_dict(d)

AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystoreadmin/dafny_to_smithy.py

@@ -485,3 +485,11 @@ def aws_cryptography_keystoreadmin_KeyStoreReference(dafny_input):
 
 def aws_cryptography_keystoreadmin_KmsClientReference(dafny_input):
     return dafny_input._impl
+
+
+def aws_cryptography_keystoreadmin_PrimitivesReference(dafny_input):
+    from aws_cryptography_primitives.smithygenerated.aws_cryptography_primitives.client import (
+        AwsCryptographicPrimitives,
+    )
+
+    return AwsCryptographicPrimitives(config=None, dafny_client=dafny_input)

AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystoreadmin/smithy_to_dafny.py

@@ -754,3 +754,7 @@ def aws_cryptography_keystoreadmin_KmsClientReference(native_input):
     )
     client.value.impl = native_input
     return client.value
+
+
+def aws_cryptography_keystoreadmin_PrimitivesReference(native_input):
+    return native_input._config.dafnyImplInterface.impl