Deal with large allocations more consistently

This is kind of academic because it's unlikely that such huge amounts
of memory could ever actually be allocated. In fact, probably impossible
given sizeof(void*). However I want the numerical logic to be correct,
and we'll leave it to realloc() to determine failure.

A little cleaner way to do invariant check

More untested functions

Keep on implementing

Always check invariants in debug mode

Start implementing

Add const where possible

Beginning with vector