Add created let terms more efficiently

[saulshanabrook]

When we add a big term to the e-graph, we de-duplicate it and add each term with a let binding. We could rewrite this to use a rule and add them all at the end to defer rebuilding: egraphs-good/egglog#756 (comment)