bump smithy dafny

rishav-karanjit · rishav-karanjit · commit 04658f6fa8e0 · 2025-06-08T18:46:31.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 339a33f8d8513f5a1a749181ce625005d7a6f4a1
+Subproject commit 819b4df20c104b1fe6a39f0064e262d42dcee206
