Describir: Scientific Computation with Automatic Result Verification