Reworked symbolic execution #34

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

Provide feedback