Add SENTINEL annotations for compare or test instructions in loops that don't use the last value of the induction var.

Increase memory annotations by tracing to the initial value for address regs on memory access instructions that have no annotations.

Compute loop follow nodes better; separate follow node errors from more serious unstructured CFG errors.

Pack DefOrUse to save memory; delete redundant call to STAR_GetCmd() from STARS_IRDB_Instruction_t constructor.

additions to 1) print number of instructions and operands created, destroyed,  and leaked.  2) fixed MakeVoidPointer re-use issues.

Track min and max values written directly to global static vars, use in memory expresssion simplification; other memory analysis generalizations.

Increase robustness when there is no fall-through inst (capstone problem on nop followed by prefetch).

Audit func boundaries vs. catch block boundaries; begin detection of global var sentinel usage in loops.