Bitcoin-Script tools, including Cbtc compiler