Add a LookupRangeCheck trait and minor modifications in preparation for ZSA #4094

Job	Run time
Book tests	2m 27s
Build target wasm32-unknown-unknown	2m 43s
Bitrot check	2m 23s
Build target wasm32-wasi	2m 32s
Code coverage	2h 26m 18s
Intra-doc links	2m 25s
Rustfmt	17s
Test on ubuntu-latest	9m 8s
Test on i686-unknown-linux-gnu	17m 4s
Test on windows-latest	14m 53s
Test on i686-unknown-linux-gnu with beta features	17m 32s
Test on macOS-latest	7m 48s
Test on i686-unknown-linux-gnu with nightly features	18m 32s
Test on ubuntu-latest with beta features	9m 28s
Test on windows-latest with beta features	12m 37s
Test on macOS-latest with beta features	7m 34s
Test on ubuntu-latest with nightly features	10m 22s
Test on windows-latest with nightly features	14m 53s
Test on macOS-latest with nightly features	8m 25s
	5h 7m 21s

Provide feedback