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

Try to get STARS/IRDB to imitate STARS/IDA more closely on static memory operand processing to help move_globals.

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.