Feature request: replicate evmole function/parameters recovery in hevm

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](https://www.npmjs.com/package/sevm) or [aquarica](https://github.com/acuarica/evm).

The issue names no hevm files, tests, or entry points. Start by comparing evmole's function and parameter recovery with the cited sevm and aquarica implementations, then locate the corresponding recovery or execution code in hevm. Done means hevm provides equivalent function and parameter recovery.

Written by the indexing model from the issue text.