testBuildingEmptySolver

Tests that SolverFactory.newBuilder().noBuiltins().build() returns a T with every default property (equivalent to testCreatingEmptySolver, but through the builder API).