testCreatingSolverWithDefaultBuiltins

Tests that SolverFactory.solverWithDefaultBuiltins(), called with no argument, returns a T whose only library is the suite's defaultBuiltins, with every other property left at its default.