[Relax] Keep a call_tir's out_ty consistent with its arguments when canonicalizing

[akaashrp]

CanonicalizeTIRVariables substitutes the known value of a symbolic variable into type annotations, but keeps a MatchCast whose variable is used at runtime. The argument of a later call_tir then still carries the variable while the call's out_ty had it replaced, and the call_tir validator from #20480 rejects the pair:

The `out_ty` argument for R.call_tir must be compatible with the PrimFunc.  However, the PrimFunc's signature implies that the output should be R.Tensor((1, new_s1, new_s2, 2, 2, 1024), dtype="float16"), but the `out_ty` argument was R.Tensor((1, 12, 12, 2, 2, 1024), dtype="float16")

The same happens when two MatchCasts rename one dimension, because a value is substituted one level at a time. MLC LLM hits both while compiling Phi-3.5-vision.

1. In the canonicalizer, visit a call_tir's arguments first and derive the type they imply. Keep the canonical out_ty when it still follows from the arguments, otherwise use the implied type
2. Expose InferCallTIROutputTypeFromArguments in op_common.h for that
3. Add tests for a kept MatchCast and for chained MatchCasts