Add Circuit.has_implicit_permutation

[CalMacCQ]

This property would give a Boolean value indicating whether a Circuit has a non-trivial permutation of the qubits.

This would save having to check in python with something like the following

def _has_implicit_permutation(circ: Circuit) -> bool:
    return any(q0 != q1 for q0, q1 in circ.implicit_qubit_permutation().items())

We could then use this Circuit.has_implicit_permutation property in pytket-qiskit CQCL/pytket-qiskit#412 and other places.

Low priority