temporarily pin z3-solver version

[grzegorz-roboflow]

What does this PR do?

static code analysis fails due to error when building z3-solver, pinning z3-solver version to 4.15.4.0 brings back the CI to life

in static code analysis we use depot-ubuntu-22.04-small which happens to have gcc 11 baked into it. According to this issue gcc 14 would be preferable for production-ready builds.

Updating depot to depot-ubuntu-24.04-small which has gcc 13 (not exactly what we want but according to above mentioned issue features introduced into z3-solver are available starting from gcc 12, with stability in gcc 14) does not fix the problem - z3-solver takes excessive time when building the wheel.

Pinning to 4.15.4.0 is currently the only viable option.

Type of Change

• Bug fix (non-breaking change that fixes an issue)

Testing

CI passing

Checklist

• My code follows the style guidelines of this project
• I have performed a self-review of my own code
• I have commented my code where necessary, particularly in hard-to-understand areas
• My changes generate no new warnings or errors
• I have updated the documentation accordingly (if applicable)

Additional Context

N/A