[TIRX] Expose analyzer-aware Python stmt/expr functors

[tlopex]

This PR exposes C++-backed analyzer-aware stmt/expr functors to Python.

It adds PyStmtExprVisitorWithAnalyzer and PyStmtExprMutatorWithAnalyzer, allowing Python-side TIRX passes to access self.analyzer during traversal while preserving analyzer context across loops, blocks, branches, asserts, pure bindings, Select, and tirx.if_then_else.

[gemini-code-assist]

Code Review

This pull request introduces analyzer-aware versions of the Python StmtExprVisitor and StmtExprMutator within the tirx module. These new classes, PyStmtExprVisitorWithAnalyzer and PyStmtExprMutatorWithAnalyzer, integrate a C++-backed arith::Analyzer to automatically track arithmetic constraints from loops, branches, and assertions during IR traversal. Feedback points out a high-severity issue regarding the fragile reconstruction of the Python Analyzer object, which bypasses the constructor and may result in null C++ handles. Furthermore, an improvement was suggested in the C++ implementation to use std::make_shared for better memory management of constraint contexts.