Benchmarks

[shinich1]

We need to do quantitative benchmarks to:

1. confirm the asymptotic scaling of the implementation to avoid negative surprise
2. compare with N^3 implementation (see Feature: $O(N^3)$ Pauli flow-finding algorithm qat-inria/graphix#19 for draft of new algorithm) and potentially think about its rust implementation