AE: replace legacy interval state with native Box

[JoelYYoung]

Summary

• replace the legacy IntervalState trace with BoxProgramState as the authoritative AE state
• use native Box in dense, semi-sparse, and full-sparse execution modes
• remove the unused Octagon, convex-polyhedra, APRON/NewPolka, legacy sparse, and alternate Box-storage implementations
• remove Address as an independent abstract domain while retaining the internal pointer, memory, shape, and lifetime facts required by AE semantics
• retain the benchmark-selected sorted page directory with page-level copy-on-write
• add Box raw serialization/hash, domain regression coverage, and end-to-end AE tests

State model

BoxProgramState owns the numerical Box carrier and the internal pointer/memory/lifetime facets. There is no compatibility IntervalState trace and no second numerical state updated alongside Box.

Validation

• clean Release build: 132/132 targets
• CTest: 10/10 passed
  • Box lattice and transfer operations
  • environment changes, expand/fold, and tree expressions
  • paged copy-on-write and raw serialization/hash
  • pointer/memory/lifetime integration
  • dense, semi-sparse, and full-sparse projection and loop tests
  • sparse memory flow, environment alignment, and wide integers

Scope

Relational numerical domains are intentionally left out of this PR. They can be revisited separately after the Box-only AE baseline is reviewed and stabilized.