Officer CIA and leading security research group preach, "scrutinize and optimize... never compromise," in this guide to verify that a Solidity contract is functioning optimally and uncover potential security flaws and/or inefficiencies