A company called Opyn is bringing trustless insurance to the Compound DeFi protocol.