Reworked symbolic execution #10

Job	Run time
Build Echidna on ubuntu-latest	35m 43s
Build Echidna on macos-13	35m 51s
Build Echidna on windows-latest	35m 31s
Test with solc ${{ matrix.solc }} on ${{ matrix.os }}	0s
	1h 47m 5s

Provide feedback