Change title to just 'Verified Garbage Collection'
Rewrite abstract (silly grammar)
Increase spacing between listing numbers and titles in the list of listings
Re-grammar aims to talk about contributions, rather than intentions
Present tensify the development methodology
Present tensify the evaluation methodology, and fix a typo
Shuffle around sentence on Chapter 3 in the outline