Yksinkertaisuus pääverkon lanseeraus, Bitcoinin ohjelmoitavuuden tulevaisuus ja synergia STARK:ien kanssa