Egglog Cartesian Morphism Checker

[wisnesky]

CQL uses the E prover to check if pro-functors are morphisms of regular theories, but egglog can be used to check regular theories that happen to be cartesian. Or perhaps this check can be reduced to checking the skolemized, cartesian equivalent. egraphs-good/egglog#519