Botanix Labs launches mainnet for its Bitcoin programmability layer with support from Alchemy, Antpool, Galaxy, among other node operators