of course, i do test. But let's be honest, if the person writing the tests is the same as the one writing the code, chances are the tests won't discover flaws in the model of the original design.
Any which way, more prodding of the model (mental or more formal) is probably going to help correctness but may or may not be worth the cost, depending.