Implement parallel extraction

[chinyi0523]

The current extraction routine suffers from a too-greedy heuristic. The algorithm extracts all gates it sees without considering circuit depths and other metrics. It would be cool if the extractor knew how to consider the parallelity of quantum circuits.