Let the compiler better optimize cases where array sizes are known
at compile time.

This implies known strides, so restrict to row-major. Slicing is
then limited to picking from the first axis.