solveInvertible (mutable matrices) now works, except for QQ.

EngineTests passes all tests (but there are still some exceptions that
need to be fixed).