Exit code on internal error

It would be nice to have VeriPB exit with a non-zero exit code when there is an internal error.