When dumping reasons for not matching the spec also show the verification task.
When dumping reasons for not matching the spec also show the
verification task.

delcypher/klee-runner,delcypher/klee-runner