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

michael-emmi/bam-bam-boogieman,michael-emmi/bam-bam-boogieman