Peluncuran mainnet kesederhanaan, masa depan kemampuan pemrograman Bitcoin, dan sinergi dengan STARK