testCreatingCustomSolverWithDefaultBuiltins

Tests that SolverFactory.solverWithDefaultBuiltins, called with an explicit custom library runtime, flags, static/dynamic theory and I/O channels, returns a T whose libraries are the custom runtime plus the suite's defaultBuiltins, with every other property matching the custom configuration.