Phase 115.4.1: Add strict aliasing audit document

Add detailed strict aliasing and type punning analysis document
generated during comprehensive UB analysis.

Contains detailed examination of:
- TValue union type punning patterns
- GCBase reinterpret_cast conversions
- Stack pointer arithmetic (LuaStack::restore)
- NodeArray memory layout manipulation
- TString variable-size object patterns
- Table array type punning
- Pointer-to-integer hashing
- UpVal getLevel() casts

Includes compiler risk assessment for LTO and aggressive optimization.
This document provides deep-dive analysis referenced in main UB report.

Author: claude