Migrate `generate_novel_prefix` to the typed choice sequence #4715

Job	Run time
test (check-whole-repo-tests)	4m 4s
test-pyodide	9m 23s
test-osx (check-py310-cover)	4m 7s
test (lint)	1m 12s
test-win (3.11, nocover)	8m 0s
test-osx (check-py310-nocover)	4m 5s
test (check-format)	56s
test-osx (check-py310-niche)	1m 44s
test-win (3.11, cover+rest)	9m 2s
test (check-coverage)	12m 14s
test-osx (check-py311-cover)	4m 43s
test-win (3.11, x86, nocover)	9m 35s
test (check-conjecture-coverage)	2m 57s
test-win (3.11, x86, cover+rest)	10m 33s
test (check-py39-cover)	7m 2s
test (check-pypy39-cover)	9m 34s
test (check-py310-cover)	6m 55s
test (check-py310-nocover)	8m 20s
test (check-py310-niche)	3m 59s
test (check-pypy310-cover)	9m 15s
test (check-py311-cover)	6m 4s
test (check-py311-nocover)	8m 2s
test (check-py311-niche)	3m 50s
test (check-py312-cover)	8m 9s
test (check-py312-nocover)	11m 38s
test (check-py312-niche)	4m 20s
test (check-py313-cover)	7m 51s
test (check-py313-nocover)	10m 54s
test (check-py313-niche)	4m 16s
test (check-quality)	4m 53s
test (check-py39-nose)	1m 11s
test (check-py39-pytest46)	1m 55s
test (check-py39-pytest54)	2m 8s
test (check-pytest62)	2m 2s
test (check-django51)	1m 50s
test (check-django50)	1m 43s
test (check-django42)	1m 42s
test (check-pandas22)	1m 17s
test (check-pandas21)	1m 31s
test (check-pandas20)	1m 17s
test (check-pandas15)	1m 55s
test (check-pandas14)	1m 16s
test (check-pandas13)	1m 29s
test (check-py39-pandas12)	1m 18s
test (check-py39-pandas11)	1m 22s
test (check-py39-oldestnumpy)	1m 52s
test (check-numpy-nightly)	9m 24s
deploy	0s
	3h 52m 49s

Provide feedback