feat[lang]: add blobhash() builtin

[pcaversaccio]

What I did

Introduce the built-in function blobhash(uint256) for retrieving versioned hashes of BLOBs.

How I did it

Hard skills.

How to verify it

See https://eips.ethereum.org/EIPS/eip-4844#opcode-to-get-versioned-hashes.

Commit message

This commit adds access to the `BLOBHASH` opcode via the new builtin
function `blobhash()`. The opcode was introduced in EIP-4844.

References:
https://eips.ethereum.org/EIPS/eip-4844#opcode-to-get-versioned-hashes

Description for the changelog

feat: introduce the built-in function blobhash(uint256) for retrieving versioned hashes of BLOBs.

Cute Animal Picture

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.87%. Comparing base (097aecf) to head (92d4aec).

❗ Current head 92d4aec differs from pull request most recent head 28b21f3. Consider uploading reports for the commit 28b21f3 to get more accurate results

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #3962      +/-   ##
==========================================
+ Coverage   90.82%   90.87%   +0.04%     
==========================================
  Files          98       95       -3     
  Lines       14867    14464     -403     
  Branches     3310     3207     -103     
==========================================
- Hits        13503    13144     -359     
+ Misses        944      912      -32     
+ Partials      420      408      -12     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[charles-cooper]

we should ideally have functional tests, like check that blobhash actually matches what is in the evm

[pcaversaccio]

we should ideally have functional tests, like check that blobhash actually matches what is in the evm

as discussed offline, eth-tester (and other EVM testing frameworks) don't expose the versioned BLOB hashes right now, making it impossible to write (for now) such a test, unfortunately. I added an additional non-empty assert in the tests for now: 98d4088.

[charles-cooper]

this is a nit but i'm not a huge fan of importing things that are only used in type signatures, i am starting to prefer guarding these with if TYPE_CHECKING