Yep... there are many checks I left out of the verify method 
1) I need to check that nonce < MAX
2) check that a != b
Your feedback is useful from an open source development point of view and of course I cannot ever prove that these checks were on my TODO list. And I am glad you brought it up because we should never assume others didn't miss something. Look at what recently happened to Namecoin!
Anyway my plan is to offer smaller bounties for implementation bugs once I have completed my implementation. I will send you a tip for pointing it out because after thinking about it your feedback did provide non-zero value.
Thanks for looking at things.
1) I need to check that nonce < MAX
2) check that a != b
Your feedback is useful from an open source development point of view and of course I cannot ever prove that these checks were on my TODO list. And I am glad you brought it up because we should never assume others didn't miss something. Look at what recently happened to Namecoin!
Anyway my plan is to offer smaller bounties for implementation bugs once I have completed my implementation. I will send you a tip for pointing it out because after thinking about it your feedback did provide non-zero value.
Thanks for looking at things.