Limit work by message size

We have postponed metering, but we do charge by message size. So our contracts should be designed to limit work to be proportional to message size, or perhaps O(messageSize * log^k(messageSize)).

See also:

• resource-exhaustion issues
• performance issues, for example #6652 or generally: #6041