Update cppformat and add gtest-extra.* to tests.
Fix solver-test.