Reduce SMPInstr memory by pulling disasm text into a global shared object, produced on demand per address.

Infer that registers with MEDS type of data or code ptr must be unsigned, handle 10-byte FPU operands.

detection that emits TRUNCATION annotations.

Fix incomplete assignment operators used in copy constructors; fix algorithm for detecting aliased mem writes in global DU chains.

Fix infinite loops and crashes related to unreachable blocks and SSE/MMX instructions and registers.

Support for reading/updating profiler generated annotations, and applying profiled numeric annotations to the type inference system