Merge pull request #1410 from herbie-fp/egglog-dump #4669

Job	Run time
distribute (macos-13, x64)	15m 58s
distribute (ubuntu-latest, x64)	3m 31s
distribute (windows-latest, x64)	7m 9s
distribute (macos-latest, aarch64)	8m 52s
	35m 30s

Provide feedback