The Checklist: The Week in Verification