Mathematically Rigorous Verification and Validation of Scientific Machine Learning