[codex] fold math microbenchmark into rust_api_benchmarking#846

MilkBlock wants to merge 5 commits into

egraphs-good:mainegraphs-good/egglog:mainfrom

MilkBlock:codex/math-microbench-prMilkBlock/egglog:codex/math-microbench-prCopy head branch name to clipboard