Update test-loops.c annotations.
Trivial: whitespace fixes.
Update 'past vulnerability' annotation tests.