feat(BKS & BKSA): Smithy Model for HV-2 (#1350)

Author: texastony

AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoreadminsmithygeneratedtypes/types.go

@@ -479,6 +479,11 @@ public static MutableBranchKeyContext MutableBranchKeyContext(
         dafnyValue.dtor_HierarchyVersion()
       )
     );
+    nativeBuilder.HierarchyVersion(
+      software.amazon.cryptography.keystore.ToNative.HierarchyVersion(
+        dafnyValue.dtor_HierarchyVersion()
+      )
+    );
     return nativeBuilder.build();
   }