Yes, in some compilation modes, but those benchmarks were compiled in "ReleaseFast" mode which disables all safety checks.

For slices and arrays, yes.