Fix an egraph elaboration fuzzbug that was allowing values with dependencies
that shouldn't be duplicated to be chosen in a context that would make them
invalid. #7859 #7879
Fix an egraph rule bug that was allowing unconstrained recursion through the
DFG to run away on large functions. #7882