mini cirq performance