Reworked symbolic execution #23

Job	Run time
Build Echidna on macos-13	15m 48s
Build Echidna on ubuntu-latest	15m 31s
Build Echidna on windows-latest	15m 56s
Test with solc ${{ matrix.solc }} on ${{ matrix.os }}	0s
	47m 15s

Provide feedback