1. Add Freeze Instruction & Optimizations for Freeze



2. Fix Miscompilations Using Freeze Instruction



3. Clarify Semantics & Update Analysis for Undef/Poison



4. Other LLVM Miscompilation Fixes



5. Misc.