It's possible to write provably correct code, though. At least then you reduce the problem to the issue of correctly specifying what the code is supposed to do. Certain classes of contracts might be small enough to do that.

Granted, the requirement for NASA-level code correctness would make smart contracts expensive to develop and put them out of reach of average developers.