Bump SCCNonlinearSolve compat floor to 1.13 to fix downgrade precompile (#4657)

The downgrade CI lanes ("Downgrade / InterfaceI" and
"downgrade-sublibraries / ModelingToolkitBase") resolved
SCCNonlinearSolve v1.12.1, whose `iteratively_build_sols`
preallocated a `Vector{NonlinearSolution}` and stored a
`LinearSolution` from a linear SCC directly into it, throwing

    MethodError: Cannot `convert` an object of type
    SciMLBase.LinearSolution to SciMLBase.NonlinearSolution

during the `SCCNonlinearProblem` precompile workload
(src/precompile.jl), failing precompilation of ModelingToolkit and
its extensions.

The fix landed in SCCNonlinearSolve 1.13.0 (commit c5c8120 "fix vector-form
SCCNonlinearProblem with linear SCCs"), which converts a linear SCC's
`LinearSolution` into a stripped `NonlinearSolution` before storing it.
Raising the floor from 1.8.1 to 1.13 prevents the downgrade resolver from
selecting a pre-fix version. SCC 1.13's SciMLBase compat (2.153-3) remains
compatible with ModelingToolkitBase's SciMLBase 3.18 floor.

Verified locally on Julia 1.10: with the old floor (SCC 1.12.1 pinned)
ModelingToolkit precompile fails with the convert MethodError; with the
new floor (SCC 1.13.0) precompile succeeds cleanly.

Co-authored-by: ChrisRackauckas-Claude <accounts@chrisrackauckas.com>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: 3 people

Project.toml

@@ -109,7 +109,7 @@ PrecompileTools = "1.2.1"
 REPL = "1"
 Reexport = "0.2, 1"
 RuntimeGeneratedFunctions = "0.5.12"
-SCCNonlinearSolve = "1.8.1"
+SCCNonlinearSolve = "1.13"
 SciMLBase = "3"
 SciMLPublic = "1.0.0"
 Serialization = "1"

lib/ModelingToolkitBase/Project.toml

@@ -168,7 +168,7 @@ RecursiveArrayTools = "3.26, 4"
 Reexport = "0.2, 1"
 ReferenceTests = "0.10"
 RuntimeGeneratedFunctions = "0.5.12"
-SCCNonlinearSolve = "1.8.1"
+SCCNonlinearSolve = "1.13"
 SafeTestsets = "0.1"
 SciMLBase = "3.18"
 SciMLPublic = "1.0.0"