Rename VerifyResult -> VerificationResult.