Implement HLSL Diagnostics for LinAlg operations

[anupamachandra]

This PR implements checks to validate the linalg builtin functions: __builtin_MatVecMul, __builtin_MatVecMulAdd, __builtin_OuterProductAccumulate and __builtin_VectorAccumulate. This includes:

• verify valid types for input and output vectors
• const checks for compile-time const parameters
• value checks for interpretation and layout (enum) parameters
• min/max checks for matrix dimensions
• verify input-output vector are the right dimensions for the given matrix (dimM and dimK) : packed and unpacked cases
• verify matrix layout, transpose and stride rules
• incorrect shader model warning

Adds tests for all the above error checks.

Implements #7336

[anupamachandra]

Couple of items left to do here:

1. Update the DXIL tests with IR, since the HLSL diagnostics prevent the invalid IR generation we were relying on.
2. Packed Format input vector validations. Will discuss this offline about the integer to float cast issue I am running into.

[damyanp]

@anupamachandra - given that there's build errors and you have some more work planned, is it worth reviewing at this point?

[anupamachandra]

@anupamachandra - given that there's build errors and you have some more work planned, is it worth reviewing at this point?

Yes please. I'm working on the build errors and missed item is marked with a //FIXME. It think it'll be good to get some eyes on it to check if the PR meets expectations in terms of scope and if any big issues/gaps stand out.

[bob80905]

A few nits / questions

[tex3d]

A couple comments on linalg.h API changes.

[github-actions]

✅ With the latest revision this PR passed the Python code formatter.