Correct handling in exit codes of verifier.
Correct handling in exit codes of verifier.

martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec