Webr3, thank you for the feedback. It would certainly add clarity that such a thing must be checked. Other things that we are checking that are not referenced in the white paper is that A and B are both below some MAX NONCE value. I will update the white paper with additional clarity and enhancements regarding the ideal parameters for various goals.
Yes, do remember to update that verify function too, sometimes it's the most obvious things that catch you out further down the line
