Fix an invalid use of ::back() on an newly emptied vector. Also tighten

up several places where we never expect to have NULL pointers to assert
early.

This fixes a valgrind error within CorrectTypo, but not the
non-determinism.

llvm-svn: 134032