Specializing Python with E-Graphs