E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC25) - View it on GitHub