chore: add ddb local to dafny interop test vectors

Author: josecorella

.github/workflows/dafny_interop_test_vector_net.yml

@@ -33,6 +33,11 @@ jobs:
       DOTNET_CLI_TELEMETRY_OPTOUT: 1
       DOTNET_NOLOGO: 1
     steps:
+      - name: Setup DynamoDB Local
+        uses: rrainn/[email protected]
+        with:
+          port: 8000
+          cors: "*"
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true