verifyCxt takes `Digest (prim AuthMode)` instead of `prim VerifyMode`.