Vitalik Pitches Options-Based DeFi to Replace Liquidation Models