Research how to allow "undefined behaviour" in llvm

The notion of "undefined behaviour" is a big opportunity for optimizers to do their work.
For example the content of memory in case of an out-of-gas exception should be undefined and so the optimizer might remove some memory writes if it can already anticipate that we will run out of gas in a later instruction.