pub fn certify_solve(a: &[Vec<Rational>], b: &[Rational]) -> Option<Certified>
Solve and certify in one call. None iff singular.
None