establish tracing between tests and specification items

[cemonem]

We need to establish a mechanism to ensure we tests each relevant specification item. Currently there is no mapping from the tests in the official testsuite into the items they tests for. We could do this by writing/generating tests we do know that map to certain items and by categorizing/classifying clauses in the spec. Spectec has some possibility for re-use here, the test generating component of Spectec is being developed, and will be most likely presented here: https://conf.researchr.org/details/ase-2025/ase-2025-papers/54/WEST-Specification-Based-Test-Generation-for-WebAssembly