Final verdicts are always on a separate line.

Previously, the verbose log messages could have printed an incomplete
line, for example when the program was terminated in the middle of
a syscall.