refine passes on non-Basics
add and register refine_MatMul
add conjugate - Unitary refinement
add refine_Transpose
add refine_Inverse
add refine_Determinant
ask checks local assumptions
fix determinant doctest
add matrix expr refine tests
print foo -> print(foo)
Merge pull request #7296 from mrocklin/matmul-refine

Matrix Expressions Refine