Updated tests, answers, c functions, , more stats in summary, and
IIGlueReader now has the option to overreport iiglue answers using
-overreport. The tests were updated to reflect that we now print which
numerical value was associated with the annotation for easier reading,
and I added a new test ensuring that I can report that a function is
definitely not null terminated (currently this happens only if a function
contains a loop with a skippable null check).