[Checkers] Paper status

[Matt Papi]

>  Matt, what is your status on section 3?  It doesn't look like it is ready
>  for me to read yet, as there are still to-dos about reorganization.

I've made more progress on it and I'm working on it now. Within an
hour or two it should be ready for you to read.

>  What is your status on case studies?

I have a couple hours' worth of work left for the Basic checker case
study. I plan on finishing it up tomorrow morning, at least enough to
get some preliminary numbers in the paper and a section that you can
look at.

I will be re-running the other NonNull case studies (and doing a new
one if time permits) as soon as most of the writing is finished (so
probably Monday morning, Boston time).

- Matt