Earlier quoted context omitted.
The EVM itself is fucked, not just Solidity. It has poorly defined semantics and has a number of strange behaviors that you don't want in high integrity systems.
For example?
Exception semantics are unclear, requiring explicit checks only in some cases depending on how a function is called.