fixing typos and redundant code
Updating README for v2, fixing some debug info stuff, fixing up names
slightly less redundant
more readme tweaks
kicking version up to 2.0.0; not releasing yet
fixing bug with verifier caching starting state
Remove dead code
return should verify from *head*
new failing test for tricky branch fall throughs
fixing branching fall through verification; serious perf suck introduced as a consequence
maybe only do this once
minor perf tweaks
more perf
Minor refactor for better profiling
more refactoring
replacing most of alias with a lookup
Another tiny bit of perf eeked out
bail out early when looking for overlaps
another tiny tweak
don't redo work that needn't be done when verifying