Polkadot: If all messages are nonpayble the dispatcher can do a single value transfer check

[xermicus]

   I noticed that the dispatch code no longer has a special case where if all functions are non-payable, then there is a single value transfer check which is both less code and less gas used in the error case. This could be utilized in the constructor case too.

Originally posted by @seanyoung in https://github.com/hyperledger/solang/pull/1460#pullrequestreview-1547059929

As pointed out. The emit version worked like that. It would spare contract code.