Reworked symbolic execution #27

Job	Run time
Build Echidna on ubuntu-latest	21m 55s
Build Echidna on windows-latest	21m 51s
Build Echidna on macos-13	22m 7s
Test with solc ${{ matrix.solc }} on ${{ matrix.os }}	0s
	1h 5m 53s

Provide feedback