Reworked symbolic execution #8

Job	Run time
Build Echidna on windows-latest	26m 25s
Build Echidna on macos-13	26m 28s
Build Echidna on ubuntu-latest	26m 9s
Test with solc ${{ matrix.solc }} on ${{ matrix.os }}	0s
	1h 19m 2s

Provide feedback