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

Build correct RTL for lea instruction; type base regs as POINTER; type AND or OR of 2 POINTERS as UNINIT; add caller-save reg USEs to interrupt calls.

Only propagate register DEFs until we get alias analysis; handle conditional move and interrupt instrs; add EAX to USE list for return instrs.

Disable back type inference for indirect memory operands; Fix DEF/no-USE case; pretty up Dump() output.