Quantum Compilers for Reducing Non-Clifford Gate Counts