“Tests are absolutely not for checking to see if things went wrong. They are for articulating what code should do, and proving that code does it.”