feat: Primitives CI

Author: Shubham Chaturvedi

.github/workflows/library_go_tests.yml

@@ -19,7 +19,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        library: [StandardLibrary]
+        library: [StandardLibrary, AwsCryptographyPrimitives]
         go-version: ["1.23"]
         os: [
             # TODO fix Dafny-generated tests on Windows;