testBuildingCustomSolverWithDefaultBuiltins

Tests that SolverFactory.newBuilder(), configured with a custom runtime, flags, static/dynamic theory and I/O channels, then .build() (without calling .noBuiltins()), returns a T whose libraries are the custom runtime plus defaultBuiltins (equivalent to testCreatingCustomSolverWithDefaultBuiltins, but through the builder API).