Uruchomienie mainnetu Simplicity, przyszłość programowalności Bitcoina oraz synergia z STARKami