Is there anything the test-writer could do that might cause this result to be unsuccessful?  If so, would you want to bundle thrown with the checkState failure?