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

Error message/exception ?