testBuildingCustomSolver

Tests that SolverFactory.newBuilder().noBuiltins(), configured with a custom runtime, flags, static/dynamic theory and I/O channels, then .build(), returns a T matching that configuration (equivalent to testCreatingCustomSolver, but through the builder API).