testCreatingCustomMutableSolverWithDefaultBuiltins

Same as testCreatingCustomSolverWithDefaultBuiltins, but for SolverFactory.mutableSolverWithDefaultBuiltins, expecting an MT.