[ARM64] Correct more bounds checks/diagnostics for arithmetic shift operands