Optimal Provable Robustness of Quantum Classification via Quantum Hypothesis Testing