v0.1.2.10

Performance follow-up for v0.1.2.

• Propagate proven in-bounds facts into nested slice/array indexed expressions.
• Elide panic polling for loop-body element reads proven by i < source.len.
• Remove remaining range-slice OOB call in the benchmark hot helper shape.
• Extend benchmark IR counts with post-clang -O3 panic/OOB/helper-call counters and ZMEU_BIN support.

Validation:

• python3 tools/gen_mlir_abi.py --check
• cargo fmt --check
• cargo check --features mlir-backend
• cargo test --features mlir-backend
• cargo clippy --features mlir-backend --all-targets -- -D warnings
• git diff --check