Don't Lie to Me! Robust and Efficient Explainability With Verified Perturbation Analysis