Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizations | Heykuki News