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

Shouldn't there be some kind of error message/exception here?