[redler]

As “code”, one problem is that the contract is only “compiled” and “run” if and when things go very badly indeed — on a compiler that is extremely expensive, loosely specified, and non-deterministic.