FIX inv_as_solve rewrite correctness for matmul inverse patterns

[aman-coder03]

Description

Closes #1894

This PR improves the correctness and canonicalization of linear algebra rewrites involving matrix inverse and matmul operations.
The existing inv_as_solve rewrite handled Dot patterns but did not correctly handle _matmul patterns. In particular A @ inv(B) must be rewritten as solve(B.T, A.T).T to preserve correct algebraic semantics
This PR extends the rewrite to handle _matmul and ensures mathematically correct transformations
After inverse-to-solve rewrites, expressions such as transpose(solve(transpose(A), transpose(B))) may appear in the graph

This PR introduces a canonicalization rewrite transpose(solve(transpose(A), transpose(B))) → solve(A, B)
This removes redundant transpose operations and improves graph simplicity

Added tests to verify
• Solve rewrite is applied
• Simplification rewrite works correctly
• Numerical correctness is preserved

Related Issue

• Closes 1894
• Related to 1893

Checklist

• Checked that the pre-commit linting/style checks pass
• Included tests that prove the fix is effective or that the new feature works
• Added necessary documentation (docstrings and/or example notebooks)
• If you are a pro: each commit corresponds to a relevant logical change

Type of change

• New feature / enhancement
• Bug fix
• Documentation
• Maintenance
• Other (please specify):

[aman-coder03]

@ricardoV94 can you please have a look at this PR?