That's probably a good source for industrial-sized regexes, but the sticking point is: how do I know that what my program puts out is
right? I don't have a lot of confidence in my ability to reverse them by hand, and even if I did, I'd only follow the same steps that my program does.
I guess the best thing to do would be to generate a few strings that the regex will match, then also generate the reverse of the string and match against the reversed regex, then compare the captures.
Caution: Contents may have been coded under pressure.