Feature request: replicate evmole function/parameters recovery in hevm

[gustavo-grieco]

It will be really useful to add a similar feature to the evmole function argument recovery to hevm. While It is a good amount of work (and probably low priority right now), it seems to be available in other symbolic EVM interpreters such as sevm or aquarica.