CCP and LDC errors if given a buffer size less than the contract size.

[netrome]

Discovered by @rymnc, observable in the following commit in the zkvm-primitives repo FuelLabs/zkvm-primitives@ca4ef6e

How to reproduce

Check out the above commit and run

cargo nextest run fuel-zkvm-primitives-test-fixtures opcodes::tests::test_contract_instruction_ccp

Bug description

When calling CCP the caller specifies a contract ID, and a number of bytes to read. If this number isn't the same as the number of bytes in the contract we get the following error:

VmExecution { error: "Storage error: Buffer size is not equal to the value size", transaction_id: 9fb5fb513aeebfd5ddadcd84e9ff9aae699bdbd52df955d7c6cd79dd0fc946e7 }

The expected behavior is to successfully copy the provided number of bytes.

[netrome]

We need to sync with @Voxelot and/or @xgreenx to align on how we want this to behave.

[xgreenx]

We forgot to add support for offset inside of this function

[netrome]

This affects all 0.41.x releases up to 0.41.5. This change has been uploaded in STF version 19 and 20 on devnet. No STF on testnet or mainnet has been affected.