Smart Contracts on Bitcoin: The Future of Institutional DeFi?