OATH: Efficient and Flexible Zero-Knowledge Proofs of End-to-End ML Fairness