Memory out of bound issue for contract-call?

[Acaccia]

See the output of these actions:

• https://github.com/stacks-network/clarity-wasm/actions/runs/11937207752/job/33272643967
• https://github.com/stacks-network/clarity-wasm/actions/runs/11960802345/job/33345625369
• https://github.com/stacks-network/clarity-wasm/actions/runs/11976041541/job/33390794493
• https://github.com/stacks-network/clarity-wasm/actions/runs/12041357042/job/33573065409
• https://github.com/stacks-network/clarity-wasm/actions/runs/12087766678/job/33709898414
• https://github.com/stacks-network/clarity-wasm/actions/runs/12103648714/job/33746068438

[Acaccia]

The problem happens here: https://github.com/stacks-network/stacks-core/blob/28c1d9eecfd26443b6f78de754b51b9dcfac8402/clarity/src/vm/clarity_wasm.rs#L548-L554

We write the arguments to memory after stack-pointer's value, but we haven't allocated any space for them before. So if the arguments are bigger than the remaining of the allocated pages, we go out of bounds.