Add an assertion that our use-marking actually covers all uses of a variable. ...

Add an assertion that our use-marking actually covers all uses of a variable.  The assertion doesn't cover quite as much as it should, but it's a good start, at least.

llvm-svn: 148625