Practical and Flexible Equality Saturation