Merge egraphs-good/main into new-backend

Author: saulshanabrook

.cargo/config.toml

@@ -1,4 +1,4 @@
 # https://doc.rust-lang.org/cargo/reference/config.html
 [build]
 # debug symbols https://pyo3.rs/main/debugging#common-setup
-# rustflags = ["-g"]
+rustflags = ["-g"]

.github/workflows/CI.yml

@@ -49,7 +49,11 @@ jobs:
       - run: make stubtest
 
   benchmark:
-    runs-on: ubuntu-latest
+    runs-on: ${{ matrix.runner }}
+    strategy:
+      matrix:
+        # Run on codspeed for walltime and ubuntu for instrumenentation
+        runner: [ codspeed-macro, ubuntu-latest ]
     steps:
       - uses: actions/checkout@v4
       - uses: astral-sh/setup-uv@v6

Cargo.toml

@@ -30,5 +30,5 @@ uuid = { version = "1.16.0", features = ["v4"] }
 egglog = { git = "https://github.com/saulshanabrook/egg-smol.git", rev = "051e523136270c05d2fb07253568441c0f4fd078" }
 
 # enable debug symbols for easier profiling
-# [profile.release]
-# debug = 1
+[profile.release]
+debug = true