Botanix's shutdown has raised an uncomfortable question for Bitcoin builders: Does the market actually want programmable BTC, ...