More responsive cancellation when processing the entire binary 

Update README.md 

Merge branch 'master' of https://github.com/ScriptWare-Software/nativ… …e-predicate-solver