Consensys launches automated security tool for smart contracts