Fixes to verification script.
* don't ignore Boogie problems.
* better reporting.