bug: under constrained segments

[ClementWalter]

Bug Report

Kakarot version

We need to revise in the whole code base places where we allocate segments and then "fill" them with utils like RLP.decode or load_packed_bytes to make sure that the segments are actually constrained.

We also need to make sure that every arr is used with the proper arr_len to use the right segment arena