dropMarginRem n m xs
drops at most the first m elements of xs
and ensures that xs still contains n elements.
Additionally returns the number of elements that could not be dropped
due to the margin constraint.
That is dropMarginRem n m xs == (k,ys) implies length xs - m == length ys - k.
Requires length xs >= n.