Superstaq: Deep Optimization of Quantum Programs