Numerical Dynamic Programming with Verification and Uncertainty Quantification: An Application to Climate Policy