Reworked symbolic execution #21

Job	Run time
Build Echidna on macos-13	3m 12s
Build Echidna on windows-latest	3m 10s
Build Echidna on ubuntu-latest	3m 8s
Test with solc ${{ matrix.solc }} on ${{ matrix.os }}	-1s
	9m 29s

Provide feedback