Migrate `explain` phase to the typed choice sequence #4673

Job	Run time
test-pyodide	8m 27s
test-osx (check-py310-cover)	3m 2s
test-win (3.11, nocover)	4m 40s
test-osx (check-py310-nocover)	2m 40s
test (check-whole-repo-tests)	3m 59s
test-win (3.11, cover+rest)	9m 18s
test-osx (check-py310-niche)	1m 51s
test (lint)	57s
test-win (3.11, x86, nocover)	5m 16s
test-osx (check-py311-cover)	2m 41s
test (check-format)	47s
test-win (3.11, x86, cover+rest)	8m 58s
test (check-coverage)	8m 27s
test (check-conjecture-coverage)	2m 18s
test (check-py39-cover)	5m 58s
test (check-pypy39-cover)	6m 28s
test (check-py310-cover)	5m 22s
test (check-py310-nocover)	6m 44s
test (check-py310-niche)	3m 42s
test (check-pypy310-cover)	6m 13s
test (check-py311-cover)	5m 10s
test (check-py311-nocover)	4m 47s
test (check-py311-niche)	3m 40s
test (check-py312-cover)	6m 43s
test (check-py312-nocover)	6m 10s
test (check-py312-niche)	3m 59s
test (check-py313-cover)	6m 36s
test (check-py313-nocover)	6m 15s
test (check-py313-niche)	3m 56s
test (check-quality)	4m 12s
test (check-py39-nose)	1m 6s
test (check-py39-pytest46)	2m 5s
test (check-py39-pytest54)	1m 51s
test (check-pytest62)	1m 59s
test (check-django50)	1m 48s
test (check-django42)	1m 43s
test (check-pandas22)	1m 26s
test (check-pandas21)	1m 13s
test (check-pandas20)	1m 25s
test (check-pandas15)	1m 11s
test (check-pandas14)	1m 32s
test (check-pandas13)	1m 12s
test (check-py39-pandas12)	1m 19s
test (check-py39-pandas11)	1m 17s
test (check-py39-oldestnumpy)	1m 52s
test (check-numpy-nightly)	8m 27s
deploy	0s
	3h 0m 42s

Provide feedback