Efficient Extraction for Effectful E-graphs

I was briefly involved with this project at its inception and ended up having to drop off due to a conflict of interest, but I'm so glad to see that it's finished! The UWPLSE group has such interesting projects