Read assert locations and determinate if they were executed or not#1110

gustavo-grieco merged 4 commits intomastercrytic/echidna:masterfrom

dev-assert-statscrytic/echidna:dev-assert-statsCopy head branch name to clipboard