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.

Add displ tag to stack pointer offset annotations to avoid ambiguity in case the same constant offset appears twice in an instruction.