Ethereum software development has many perilous foot guns. Last time I looked, it's nearly impossible for a technical investor to validate the code in a contract themselves, because the compiled code from human readable languages produces hard-to-read machine code non-deterministically.