[Verifier] Enforce TStore dst shape and src valid_shape consistency#466

zhangstevenunity merged 2 commits intohw-native-sys:mainhw-native-sys/PTOAS:mainfrom

TaoTao-real:codex/issue322-tstore-verify-shape-validTaoTao-real/PTOAS:codex/issue322-tstore-verify-shape-validCopy head branch name to clipboard