Bump buildpack images

[r0qs]

Update the hashes of the docker images as requested in #16184 (comment)

[r0qs]

Apparently z3 output changed (see: https://app.circleci.com/pipelines/github/argotorg/solidity/40332/workflows/659e71d7-e626-4fef-a56c-0969e3fe789e/jobs/1870667) although we didn't change the version of z3 on the image, see: https://github.com/argotorg/solidity/pull/16184/files#diff-8039a583d7ad81e59f6062dfed94be122f00c0441c14423e27f1fdbc427d65d8

[cameel]

Probably the usual non-determinism. But we should check of course.

[blishko]

This is not just nondeterminism.
Something must have changed. The question is, what?
It looks a bit like Z3 got slower and some of the queries now time out. But that's just from a quick look, more investigation is necessary.

Also, I am curious, why was this change needed : https://github.com/argotorg/solidity/pull/16184/files#r2371608662