Verifying Explanations for Neural Networks