Tips for Solidity Code Auditors