Storage below non existing branch

### Description

- Added some missing MPT constraints
- Integrated some EVM tools like degree reduction and lookups using
dedicated columns

### Issue Link

[_link issue here_]

### Type of change

- [ ] Bug fix (non-breaking change which fixes an issue)
- [ ] New feature (non-breaking change which adds functionality)
- [ ] Breaking change (fix or feature that would cause existing
functionality to not work as expected)
- [ ] This change requires a documentation update

### Contents

- [_item_]

### Rationale

[_design decisions and extended information_]

### How Has This Been Tested?

[_explanation_]

---------

Co-authored-by: Cecilia Zhang <[email protected]>
Co-authored-by: CeciliaZ030 <[email protected]>

…s-range-check-mainRLP

…tation

…rlp-cinsistency

Drifted rlp cinsistency

remove

false -> true

false -> true

Co-authored-by: Brecht Devos <[email protected]>

remove

34 -> 33

Co-authored-by: Brecht Devos <[email protected]>

LtGadget<F, 1>

Co-authored-by: Brecht Devos <[email protected]>

false -> true

Rlp limitation

…s-range-check-mainRLP

# Conflicts:
#	zkevm-circuits/src/mpt_circuit/helpers.rs

Range check 2 bytes per lookup when degree > 2**21

### Description

New descriptors are used which have `Vec<Node>` structure and thus the
conversion in `witness_row.rs` from `[][]byte` to `Vec<Node>` was
removed. Note that `keccak_data` is now part of the `Node` struct - each
node holds the byte streams that need to be hashed.

Additionally, an MPT benchmark was added (some structs needed to be made
public).

### Type of change

- [x] Breaking change (fix or feature that would cause existing
functionality to not work as expected)
- [x] This change requires a documentation update

### Contents

- All tests updated.
- `prepare_witness` function removed from `witness_row.rs`.
- MPT test updated to not use `prepare_witness`.
- Benchmark added.

# Conflicts:
#	zkevm-circuits/src/circuit_tools/cached_region.rs
#	zkevm-circuits/src/mpt_circuit.rs
#	zkevm-circuits/src/mpt_circuit/account_leaf.rs
#	zkevm-circuits/src/mpt_circuit/helpers.rs
#	zkevm-circuits/src/mpt_circuit/rlp_gadgets.rs

Challenge API

# Conflicts:
#	zkevm-circuits/src/mpt_circuit.rs
#	zkevm-circuits/src/mpt_circuit/helpers.rs

Rlp min encodeing switch

# Conflicts:
#	zkevm-circuits/src/circuit_tools/cached_region.rs
#	zkevm-circuits/src/circuit_tools/cell_manager.rs
#	zkevm-circuits/src/circuit_tools/constraint_builder.rs
#	zkevm-circuits/src/circuit_tools/gadgets.rs
#	zkevm-circuits/src/circuit_tools/memory.rs
#	zkevm-circuits/src/mpt_circuit.rs
#	zkevm-circuits/src/mpt_circuit/account_leaf.rs
#	zkevm-circuits/src/mpt_circuit/branch.rs
#	zkevm-circuits/src/mpt_circuit/extension.rs
#	zkevm-circuits/src/mpt_circuit/extension_branch.rs
#	zkevm-circuits/src/mpt_circuit/helpers.rs
#	zkevm-circuits/src/mpt_circuit/rlp_gadgets.rs
#	zkevm-circuits/src/mpt_circuit/start.rs
#	zkevm-circuits/src/mpt_circuit/storage_leaf.rs
#	zkevm-circuits/src/mpt_circuit/witness_row.rs
#	zkevm-circuits/src/table/mpt_table.rs

…tools-wip

# Conflicts:
#	zkevm-circuits/src/mpt_circuit/witness_row.rs

Memory bank

…zkevm-circuits into circuit-tools-tests