While I was fiddling with some other exploratory improvements, it came up that the generated grammar test was using the same seed for every case. The intention seems to be that the test generates truly arbitrary grammars, so this PR uses the property testing generator to seed the grammar.
TLDR: this property test was using the same grammar for every run. now it doesn't
Coverage: 91.063%. Remained the same when pulling 587879e7ace6b281e7144e7e56f295cbd8141ffd on grammar-seed-bug into 07eb3bff8ad6887f127946907ff5e6515cad1e9c on main.
While I was fiddling with some other exploratory improvements, it came up that the generated grammar test was using the same seed for every case. The intention seems to be that the test generates truly arbitrary grammars, so this PR uses the property testing generator to seed the grammar.
TLDR: this property test was using the same grammar for every run. now it doesn't