Be more systematic with checking eigenvector normality

Right now, I believe, we aren't checking if the eigenvectors are orthonormal with sympy input, and we really should.