Merge branch 'main' into bump-therock/2026-05-13

Author: sjain-stanford

version.json

@@ -1,5 +1,5 @@
 {
   "package-version": "0.0.1.dev",
-  "iree-version": "3.12.0rc20260512",
+  "iree-version": "3.12.0rc20260513",
   "therock-version": "7.13.0a20260513"
 }