Eliminate proven array bounds checks

[FuryBaM]

What changed

Adds a conservative LLVM pass after the existing -O3 pipeline. The pass recognizes Absolute's generated array.bounds.failure edges and removes a conditional branch only when LLVM proves that execution must take the success edge at that exact instruction.

Proofs use both:

• LazyValueInfo for path-local constant and comparison facts;
• ScalarEvolution for induction variables and loop relations such as position + 1 < index < size.

After a successful proof, SimplifyCFG and DCE remove the unreachable failure block and dead comparisons.

Safety

• Frontend-generated runtime bounds checks are unchanged.
• Unknown conditions are left untouched.
• A candidate failure block must have the generated array.bounds.failure prefix and terminate with unreachable.
• Only branches with exactly one failure successor are candidates.
• LLVM verifies the complete optimized module before object emission.

Validation status

The source change is isolated to Absolute-CodeGen/src/codegen.cpp. GitHub Actions currently rejects all Windows and Ubuntu jobs before the first workflow step (steps: null), so compilation, checksum validation, and benchmark comparison are pending runner availability rather than reporting a compiler/test failure.