Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving - View it on GitHub