bump smithy-dafny to main

lucasmcdonald3 · lucasmcdonald3 · commit 84d65747edfb · 2024-09-26T13:46:07.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 9a950a279b143ffa24933364d7b61f0bc54fc067
+Subproject commit 55c68f474d8dadd767a312781bc6fd78f922ada6
