[TVMScript] TIR Printer: Assert and Concise Scoping

[yelite]

trafficstars

This PR:

• Adds TIR assert printing
• Adds helpers for stmt body printing and concise scoping

This PR is in draft state because it's branched off from a pending PR #12582

Tracking issue: https://github.com/apache/tvm/issues/11912

cc @junrushao @gbonik