RandomizedQueue: added "resize down"
(minor)