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