Expand local variable tables to include incoming argument, callee-saved reg, and return address locations.

detection that emits TRUNCATION annotations.

Fix incomplete assignment operators used in copy constructors; fix algorithm for detecting aliased mem writes in global DU chains.

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