Implement `Arbitrary` for `Range*` #8868

Job	Run time
benchcomp-tests	4m 37s
documentation	2m 4s
perf	33m 25s
regression (macos-13)	44m 55s
write-json-symtab-regression	15m 33s
regression (ubuntu-20.04)	27m 33s
regression (ubuntu-22.04)	29m 1s
regression (macos-14)	27m 29s
	3h 4m 37s

Provide feedback