As far as I understand, Bitcoin is programmable, just not Turing complete.
But what's the point of Turing completeness if the gas limits everything already? Why not just repeat the statement in code? Or "Goto" and "Label"?
Are you telling me the EVM's only reason for success is that it was just more palatable to developers and what they believed about how smart contract ought to be?