Security firm Certora formally verified the smart contracts powering the Hashi protocol prior to its mainnet launch