Create prepopulated handler

[simon-something]

Parsing the contracts to create individual handlers should come with an option to create, for each public state-changing function, a generic handler function.

This is a heavy refactor, where we might have to:

• build the medusa test suite intermediate representation, including the handled fn names (either compile the target repo and parse the abi - using forge or solang, or parse the source code itself - using our skills or smth)
• visit the ir and emit the contracts (bulloak-foundry does this for tests)
• finally write them

Bonus would be to have a property.md with a table including all the "handled" functions