Vec gathers rollups into self
Loosen tight assert; better comments on size