Solidity output: Check that msg.value is same as pay expression

[jeapostrophe]

A binding on XL_ToConsensus that names the pay amount [rather than a primitive that returns it, which wouldn't make sense in the participants]