Add overflow checks for addition of AccessList cost in IntrinsicGas

[Kourin1996]

Fixes https://github.com/celo-org/celo-blockchain-planning/issues/805

This PR adds overflow check before adding AccessList cost in IntrinsicGas function

[palango]

Any idea why those checks aren't in upstream?

[Kourin1996]

@palango As far as I see, I have no idea why. I checked the PR in geth but there was no comment for that.
Also I checked the code of erigon and nethermind. Erigon has such checks but nethermind doesn't have. (Maybe nethermind catches overflow by different way)

[Kourin1996]

Btw, the case the audit report mentioned might not occur actually because it calls with only 10 bytes data and 1 access list item.

I checked all calls of IntrinsicGas and this issue might happen in normal case (adding tx into tx pool). But you need to give 16777216 TB data or 2^31 items of access list, maybe? (If I ignoring order of constant values) Does it occur actually? HTTP server should reject it before validating Tx.

[palango]

@Kourin1996 The changes look good but I'd still like to hear from upstream. Could you open a PR with those changes for go-ethereum?

[Kourin1996]

@palango Opened a issue to make sure it's necessary in ethereum/go-ethereum/issues/30880