U32-length
Get the length of the u32arr array.
In the execution this just gets the array length. The
logical definition is just a wrapper for len:
Function: u32s$a-length
(defun u32s$a-length (u32arr$a)
(declare (xargs :guard (u32arr$ap u32arr$a)))
(len u32arr$a))
