Solidity optimizer for literal numbers

Express literal numbers using operations.
Remove identitiy operations (e.g. "+0").
I may miss the big picture here in github diffs, but bytesRequired may return 2**32-1 (case Push). And if you have some other non zero values for i.second.size() or i.bytesRequired(br) for various i, then you will overflow.