I think that's a bit of a strawman. I don't think anyone says tests prevent all bugs. They can help fix some parts of the contract down and give you a place to check against regressions.
GP pointed out to a bug fix commit as proof that the kernel would benefit from having tests, so it's not that much of a straw man.