Trail of Bits smart contract audit company: services, notable audits, and reputation in Web3 security.