This is most definitely not the “best we can do” to achieve Bitcoin programmability.

I know this, because there is already @tap_protocol, that leverages major L1s as co-processors to provide fully-decentralised Turing smart contracts for native assets.🔒 

No multi-sigs or centralised VMs required.