Verifying Fairness in Quantum Machine Learning