chore: point smith-danfy to valid commit (#642)

texastony · web-flow · commit 0bae2c8cadf9 · 2024-03-21T13:31:03.000-07:00
diff --git a/smithy-dafny b/smithy-dafny
@@ -1 +1 @@
-Subproject commit 4497a5ab1213a1ee609aa0fc31a0e26d4ea72af1
+Subproject commit a43a6da7bc0052326443352a867014aac6f3aaca
