Fix and activate optimizer for Solidity, add some new rules.

It's very common in that file. Perhaps I will change that when a general overhaul of the optimizer is needed.