Reworked symbolic execution #14

Job	Run time
Build Echidna on macos-13	23m 15s
Build Echidna on windows-latest	22m 55s
Build Echidna on ubuntu-latest	22m 44s
Test with solc ${{ matrix.solc }} on ${{ matrix.os }}	-1s
	1h 8m 53s

Provide feedback