Reworked symbolic execution #13

Job	Run time
Build Echidna on macos-13	26m 2s
Build Echidna on windows-latest	25m 42s
Build Echidna on ubuntu-latest	25m 47s
Test with solc ${{ matrix.solc }} on ${{ matrix.os }}	-1s
	1h 17m 30s

Provide feedback