Add PoV overestimate fix of pallet-contracts to foucoco

[TorstenStueber]

We can't run Nabla on Foucoco because pallet-contracts has a few bugs that over estimates the proofSize.

More context here and here.

I could successfully test that cherry picking this fix to pallet-contracts partially solves this problem so that Nabla works.

To do

Instead of using the official polkadot-v0.9.40 version of pallet-contracts, use the version in this PR

Next Steps

This is supposed to be a quick fix in order to ensure that Nabla runs on Foucoco.
Fortunately, the above fix is already included in polkadot version 0.9.42 so that we will cleanly include it to our runtimes when upgrading to version 0.9.42.

[TorstenStueber]

All of this has been executed now. Closed.