Faster proof encoding: congruence via :merge + single self-referential UF (~1.8x)#6

oflatt-claude wants to merge 26 commits into

saulshanabrook:mainsaulshanabrook/egglog-encoding:mainfrom

oflatt-claude:port-native-mergeoflatt-claude/egglog-encoding:port-native-mergeCopy head branch name to clipboard