Merge pull request #1399 from herbie-fp/faster-dump-rival #4659

Job	Run time
distribute (macos-latest, aarch64)	7m 35s
distribute (macos-13, x64)	19m 26s
distribute (windows-latest, x64)	9m 7s
distribute (ubuntu-latest, x64)	3m 15s
	39m 23s

Provide feedback