Add unit-tests for corpus seeding

[Boyan-MILANOV]

We should eventually add some unit-tests for corpus generation based on dataflow analysis with Slither. At the moment the dataflow analysis is very simple, so no tests are required. However when we decide to refine the analysis or support inter-contract dataflow it will be worth adding unitary tests that make sure that we find interesting transaction sequences for specific tailored examples.