Fix v7 build: use DEFAULT_VERBOSE instead of Bool in solve/init defaults (#3448)

The v7 rebase onto master re-introduced `verbose = true` (Bool) as the
default in DiffEqBase's `init` and `solve` entrypoints. But v7's
`_process_verbose_param(::Bool)` throws an `ArgumentError` (added by
f73c2f5 to enforce the v7 breaking change to DEVerbosity). Every
`solve(prob, alg)` call — including precompile workloads — hits this
throw, failing the `build` step and cascading to all 160+ sublibrary
and integration tests.

Replace `verbose = true` with `verbose = DEFAULT_VERBOSE` in both
function signatures. `DEFAULT_VERBOSE` is `DEVerbosity()` (the Standard
preset), which is the v7-native equivalent of `verbose = true`.

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

Author: 3 people

lib/DiffEqBase/src/solve.jl

@@ -90,7 +90,7 @@ end
 
 Base.@constprop :aggressive function init(
         prob::AbstractDEProblem, args...; sensealg = nothing,
-        u0 = nothing, p = nothing, verbose = true, kwargs...
+        u0 = nothing, p = nothing, verbose = DEFAULT_VERBOSE, kwargs...
     )
     if sensealg === nothing && has_kwargs(prob) && haskey(prob.kwargs, :sensealg)
         sensealg = prob.kwargs[:sensealg]
@@ -590,7 +590,7 @@ the extension to other types is straightforward.
 """
 Base.@constprop :aggressive function solve(
         prob::AbstractDEProblem, args...; sensealg = nothing,
-        u0 = nothing, p = nothing, wrap = Val(true), verbose = true, kwargs...
+        u0 = nothing, p = nothing, wrap = Val(true), verbose = DEFAULT_VERBOSE, kwargs...
     )
     if sensealg === nothing && haskey(prob.kwargs, :sensealg)
         sensealg = prob.kwargs[:sensealg]