Add support for basic `assert*` cheatcodes

[anishnaik]

Would be beneficial to have the suite of foundry cheatcodes that provide assertEq, assertLeq etc.

[anishnaik]

https://github.com/argotorg/hevm/blob/main/src/EVM.hs#L2005-L2048

[anishnaik]

@tuturu-tech could be a good one to work on