Better cheatcodes

[Stevengre]

• Currently, we use specific cheatcode like cheatcode_is to model specific complex structure which has references to an array of u8 with unkown size. Could we provide a more general way for this kind of structures? like set the size of the array. Additionally, for dymanic array, how could we verify it? like a function that `\forall x in list. y = x ++'
• The goal here might be eliminate speicifc model in branch feature/p-token.