9924d9ca89
- In 8e2f830, this was changed from `mju_norm3` to `mjuu_normvec`, but the
latter will mutate its input to be normalized instead of just
returning the norm (the former was likely mistaken as `mju_normalize3`
which does mutate its input).