[TIR] Update block flags and simplify predicate in Reverse-Compute-Inline

[vinx13]

• Add simplification after substitution to make the predicate simpler to arithmetic analysis.
• Update block flags. Since reverse-compute-inline may introduce predicates and the result block may not have affine binding.

cc @spectrometerHBH @junrushao @AndrewZhaoLuo

[tvm-bot]

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

• cc @Hzfengsy, @junrushao, @quic-sanirudh, @shingjan _{See #10317 for details}

_{Generated by tvm-bot}