bump submodules

RitvikKapila · RitvikKapila · commit f72f76476158 · 2024-12-06T17:33:43.000-08:00
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 370be9c25900681687b36f022f0e3ba740c933b9
+Subproject commit b5c3522da3cfafddd2b180e5fe110e1cf1fc1129
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit c06e2c0fba84fdfa630b518b184cf4d6826b7622
+Subproject commit caef7793d4bf85ae5eb488b2159b693f478c990d
