EIP-7823 Modexp Upper Bounds

Documentation for tests/osaka/eip7823_modexp_upper_bounds@02aafd78.

Generate fixtures for these test cases for Bogota with:

fill -v tests/osaka/eip7823_modexp_upper_bounds --fork Bogota

Tests EIP-7823: Set upper bounds for MODEXP.

Test cases for EIP-7823: Set upper bounds for MODEXP.