Create section on cheatcodes

[JuanCoRo]

Right now, the only example of cheatcode usage we have is with infiniteGas(), which is not required anymore.

We should make a better section explaining our cheatcodes, document each of them, and provide some examples for at least the most used ones, like symbolicStorage().