More tests for `Vector`.

* And corresponding bug fixes.