[Fix][TIR]fix symbolic strides lower

[JackWeiw]

compact_buffer_region PASS modify shared buffer stride[0] to

T.int64(72) * T.min((n + T.int64(63)) // T.int64(64) * T.int64(64), T.int64(96)) and stride[1] is T.int64(72)
but in LowerOpaqueBlock PASS it report error:
InternalError: Check failed: (is_zero(floormod(buffer->strides[i - 1], buffer->strides[i]))) is false:

For more detaied discuss, see here

[JackWeiw]

CC @Lunderberg @wrongtest-intellif

[Lunderberg]

Thank you for retargeting on main, and looks good to me! The current CI failure is due to incorrect python formatting, and looks like you just need to run the black formatter on test_tir_transform_lower_opaque_block.py.

[JackWeiw]

Thank you for retargeting on main, and looks good to me! The current CI failure is due to incorrect python formatting, and looks like you just need to run the black formatter on test_tir_transform_lower_opaque_block.py.

This PR has passed all checks. Could u please give the approval to merge this PR?
I will rise another PR to fix bug in PASS InjectPTXAsyncCopy after this PR been merged.
Thank u very much.