Thanks for the thoughtful response, Mark.

QuickCheck definitely sounds interesting. I will check it out!