Text this: Scientific Computation with Automatic Result Verification