Some tests and bugfixes for the compiler.
Correct Solidity error formatting in AlethZero.