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