Trivally verify lazy parser.
Use a atomic or tree of unions in concatenation tests.
Shrink alphabet for convenience.
Tweak weighting in atomic parser, and give generated epsilons a unique id.
Use a compound of sequences in union parser tests, and actually compare as sets.