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

Move conditional moves from type category 12 to 0; most of category 15 to 14 (FP with MemSrc possible but not MemDest).

SSA renumber local names; local def-use chains; emit local dead registers annotations using Sudeep's EFLAGS arrays.