> Honestly, though, I have absolutely no idea what would happen in a legal case involving 'smart contracts', as I don't think there's any precedent involving treating computer programs as contracts.

Smart contracts aren't legal contracts, though they may be evidence of the existence and content of one.

Of course, strictly speaking that's true of the written documentation of a contract, too.