[ARM64] Add proper bounds checking/diagnostics to logical shifts