Performance improvements#253

Draft

gkronber wants to merge 24 commits intoale/3.0from

performance_improvements

Commits on Oct 10, 2024

Commits on Oct 12, 2024

Add some test assertions for internal datastructures used for egraph rebuilding.
gkronber
committed
Merge branch 'ale/3.0' into performance_improvements
gkronber
committed

Commits on Oct 13, 2024