Merge branch 'main' into bump-iree/2026-04-24

Author: sjain-stanford

version.json

@@ -1,5 +1,5 @@
 {
   "package-version": "0.0.1.dev",
   "iree-version": "3.12.0rc20260424",
-  "therock-version": "7.13.0a20260423"
+  "therock-version": "7.13.0a20260424"
 }