Minor improvements: zero-out removed elements; verify test coverage; saner shrinkage logic