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

This is a lot of code on one line..