Module verify 

Whole-message verification limits.

Structs

VerifyCtx

Guards a recursive walk against cycles (backward pointers) and against amplification via shared subtrees.