“Bill Barheit argued that Tom Schmidt's DeFi risk model double-counts certain failure possibilities.”