[Draft] Herbie's out-of-date branch with backoff scheduler and bigrat#552

oflatt wants to merge 10 commits intomainegraphs-good/egglog:mainfrom

oflatt-herbie-scheduler-and-bigrategraphs-good/egglog:oflatt-herbie-scheduler-and-bigratCopy head branch name to clipboard