[Arith] Add simplification rule for x - max(x+y, z)

[Lunderberg]

This parallels an existing simplification rule for x - min(x,y, z), applying the same cancellation for max.

[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 @junrushao _{See #10317 for details}

_{Generated by tvm-bot}