Death to Liquidations: Vitalik Pitches Options-Based DeFi