Will this assertion work? What are the best ways to compare symbolic matrices in sympy?