the key challenge here is optimizing a large quantum circuit (with, e.g., hundreds of thousands of gates)
many existing tools are essentially superoptimizers, with exponential search spaces, and therefore can only handle "small" circuits in a reasonable amount of time/space