Quantum circuit optimisation, verification, and simulation with PyZX