Our recursive verifier code has **too** many magic constants. This problem is worth the effort now. Just do it!