Reworked symbolic execution #12

Job	Run time
Build Echidna on macos-13	25m 52s
Build Echidna on ubuntu-latest	25m 44s
Build Echidna on windows-latest	25m 32s
Test with solc ${{ matrix.solc }} on ${{ matrix.os }}	0s
	1h 17m 8s

Provide feedback