verdict.reason_code explains why a verdict came out the way it did. It should be present for every
verdict except verified, and must be present for unverifiable.
See verdicts for what each verdict value means, and the rules QED Proof follows when deciding
between them.