Javadoc
Moves rows down the matrix, by removing purged rows. If resizing to accommodate seqno is still needed, computes
a new size. Then either moves existing rows down, or copies them into a new array (if resizing took place).
The lock must be held by the caller of resize().