BadgerDAO is bringing products and infrastructure for Bitcoin integration with DeFi.