[Verifier] Enforce TStore dst shape and src valid_shape consistency

[TaoTao-real]

Summary

• Add a verifier constraint in pto.tstore to enforce destination partition shape matches source tile valid_shape on statically-known dimensions.
• Keep dynamic dimensions permissive (only static-vs-static mismatch is rejected).
• Add a negative regression test for shape/valid mismatch.

Motivation

• Fixes part of TStore verifier should reject tile/partition shape mismatch and subset should not allow enlarging tile shape #322 (TStoreOp verifier gap): invalid IR with mismatched destination shape and tile valid region should be rejected early.

Design

• Updated TStoreOp::verify() common path in lib/PTO/IR/PTO.cpp.
• New check runs before arch-specific dtype/address-space checks.
• Error is dimension-specific: dst shape[i] vs src valid_shape[i].

Testing

• ninja -C build ptoas
• build/tools/ptoas/ptoas test/basic/tstore_verify_shape_valid_mismatch_invalid.pto -o /tmp/tstore_invalid.cpp (expect fail with verifier error)
• build/tools/ptoas/ptoas test/basic/tquant_e2e.pto -o /tmp/tquant_e2e.cpp (expect pass)
• build/tools/ptoas/ptoas test/basic/tcvt_e2e.pto -o /tmp/tcvt_e2e.cpp (expect pass)

Risk / Rollback

• Risk: kernels relying on previously-accepted invalid tstore IR will now fail verifier earlier.
• Rollback: revert this PR to restore previous permissive behavior.

[gemini-code-assist]

Code Review

This pull request introduces explicit shape verification for the TStoreOp in the PTO dialect, ensuring that the destination tensor partition shape matches the source tile's valid shape for all statically-known dimensions. A new test case was added to validate this check. Feedback suggests making the test's error message verification more specific to ensure the reported dimension sizes are correct.

[gemini-code-assist]

The FileCheck directive is a bit too general. It would be better to check for the specific values in the error message to make the test more robust. This ensures that the verifier is not only firing but also reporting the correct expected and actual dimension sizes.

// CHECK: error: 'pto.tstore' op expects dst shape[0] to match src valid_shape[0] (32), but got 64