Detect out-of-bounds step indices #4828

Job	Run time
Measure coverage	15m 27s
miri	3m 5s
Additional Builds and Concurrency Tests	11m 8s
Basic Checks	14m 23s
Release builds and tests	10m 15s
sanitize (address)	11m 39s
Slow tests	6m 31s
sanitize (address, multi-threading)	11m 45s
sanitize (leak)	5m 47s
sanitize (leak, multi-threading)	5m 58s
	1h 35m 58s

Provide feedback