CMP test_verification.csv: add missing test case for -untrusted with non-matching...