Learn and Verify: A Framework for Rigorous Verification of Physics-Informed Neural Networks