Modify reporting when only true divergences are requested.

Rationale:
Old tool would still report divergences on time out
(and just skip extra processing). It is more desirable
to treat it as a regular time out, however.

Test: fuzzing itself
BUG: 31267855

Change-Id: I32e9758c464be7a22752a85c25dbb8cb6b889399