Update macaw submodule to bring in a fix that prevents

robdockins · robdockins · commit 508ef1146107 · 2022-08-08T14:55:30.000-07:00
redundant goals from being emitted in X86 verification.
diff --git a/deps/macaw b/deps/macaw
@@ -1 +1 @@
-Subproject commit 2791b1050f348922a27192d8a73ee538fed57629
+Subproject commit d9525554ca3d6414e20a9f7571e38758ea5a3c3f
