Nexus Mutual's so-called “Smart Contract Cover” would provide users an extra level of safety for events like the DAO hack in 2016.