Adds a very minimal benchmarking harness (bench.py) that runs each tool on each contract and records the time taken
Adds a script to execute hevm on a given contract
Also worth noting is that this approach uses foundry to produce bytecode from a given solidity file, and so the project directory structure has been modified slightly to make that easier.
Based on top of #3.
Also worth noting is that this approach uses foundry to produce bytecode from a given solidity file, and so the project directory structure has been modified slightly to make that easier.