Expand SAFE function criteria for SMP project to ignore indirect non-stack writes and writes above the return address.

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.