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

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