A Python Framework for Verifying Codes for Numerical Solutions of Partial Differential Equations