Support handling of counterexample failure
Support handling of counterexample failure

This adds proper support for reporting failures during counterexample
generation.  These were previously being ignored, which is annoying.]

Whiley/WhileyLabs,Whiley/WhileyLabs,Whiley/WhileyLabs