Botanix bet big on 'Bitcoin DeFi.' Its shutdown suggests users never cared