Revamped davidson that does not assume orthogonality anywhere. Test cases pass, but I’m still pretty sure there is a bug somewhere.