Nothing was stolen. All I see is a programmer abiding by the contracts.
If a smart contract is also a binding, legal contract, then normal contract law applies - and intent matters here in the real world. Therefore, it's theft. I am most certainly not a lawyer.
Unless courts recognize the ability to sign away your rights through some kind of disclaimer that makes the smart contract the equivalent of binding arbitration.