EIP-5920: PAY opcode

[wjmelements]

@jochem-brouwer

Is this allowed in STATICCALL? (I’d argue: just ban the entire opcode in static context)

There is a proposal to add logs for ether transfers, even if the amount is zero. Logs should not be created in a readonly context like STATICCALL.