fixed unsoundness in pruning executor. problem was marking CGNode's as visited too eagerly--they can only be marked if they are visited as callees
Merge branch 'master' of https://github.com/sblackshear/thresher