Verifiably Robust Conformal Prediction