Enhance DCE optimization

- Add unreachable block detection using dominator analysis
- Implement conservative dead store elimination for immediate overwrites
- Add redundant assignment elimination (x = x patterns)
- Enhance DCE worklist algorithm with better bounds checking
- Simplify escape analysis to be maximally conservative
- Add instruction elimination metrics tracking
- Fix phi operand marking in DCE worklist processing

Author: jserv