CompatHelper: bump compat for ImplicitDifferentiation in [weakdeps] to 0.9 for package ControlSystemsBase, (keep existing compat)

[github-actions]

This pull request changes the compat entry for the ImplicitDifferentiation package from 0.7.2 to 0.7.2, 0.9 for package ControlSystemsBase.
This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry.
It is your responsibility to make sure that your package tests pass before you merge this pull request.

[gdalle]

@baggepinnen these are the two relevant issues, both coming from KrylovKit:

• Better error when no return type is inferred Jutho/KrylovKit.jl#132
• Different types for x and b? Jutho/KrylovKit.jl#131

The first one explains why the error is so cryptic, and the second one addresses the fundamental limitation: situations where the condition output c has a different type from that of the solution y (in your case y is a matrix and c is a vector). I'm not sure whether this case can be supported or not. If it can be supported on the KrylovKit side, the following fix in ImplicitDifferentiation will also be needed:

• fix: provide initial value to iterative linear solver JuliaDecisionFocusedLearning/ImplicitDifferentiation.jl#182