Add a visualize flag to egraph.saturate for further configuration

[orenht]

Adds an option to not visualize the resulting egraph in saturate.

[saulshanabrook]

Thanks for this!

.saturate() is a bit silly tbh, .run() with a schedule is much more efficient if you don't want to visualize, but oh well its exposed as a top level API, so happy for this for now!

[orenht]

You're right, for some reason I thought that run is an inner function 😅

I guess the confusion might come from the naming, because I do want to saturate, but not necessarily display progress.

[saulshanabrook]

yeah exactly, this function maybe should be renamed to saturate_and_display or something? with maybe a depreciation on the current name?

[orenht]

That could work :) I suggest also adding a vanilla saturation method for clarity, but up to you of course.

Do you know why the CI is failing? It doesn't seem related to the changes