Get the number of rows in the s32v array.
Logical definition:
Function: s32vl-nrows
(defun s32vl-nrows (s32vl-arr2) (declare (xargs :guard (s32vl-arr2-wfp s32vl-arr2))) (len (stobjs::2darr->rows s32vl-arr2)))
