Echidna Enters a New Era of Symbolic Execution