This is the follow-on to the Preliminary Evaluation.

For this milestone, we want to convert all the remaining Olden and Ptrdist benchmarks to Checked C, so that we can evaluate the overhead of our runtime checks compared to Deputy and CCured.