value: verify that we never attempt to index a zero-length vector

[robpike]

We have found a couple of places that assume a vector has at least one element. It's conceivable that is an unwise assumption.