chore(Core): Update instrumentation

[michael-weigelt]

Dynamically charge for function locals to align with other memory operations.

[zeropath-ai]

✅ No security or compliance issues detected. Reviewed everything up to 0d4f4d1.

Security Overview

• 🔎 Scanned files: 24 changed file(s)
• 🔗 Scan Link: https://zeropath.com/app/repositories/f5e9d2bb-29a4-4b64-902a-391d65fd8b2d?scanId=b388f884-8600-4736-917d-0a2a2e1d01a2&codeScanTypes=PrScan&tab=issues

Detected Code Changes

Change Type	Relevant files
Enhancement	► rs/embedders/src/wasm_utils/instrumentation.rs     Charge locals cost at start of reentrant block; propagate locals and arguments cost into metering; add local_cost helper; pass func_signature to inject_metering
Enhancement	► rs/embedders/tests/instrumentation.rs     Update expected instruction counting to include locals cost (per byte)
Enhancement	► rs/embedders/tests/snapshots/instrumentation__app.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__app2.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__basic.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__basic_import.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__basic_import_call.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__control_flow.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__element.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__export_mutable_globals.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__fac.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__fizzbuzz.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__memory_fill.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__memory_grow.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__nested_ifs.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__recursive.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__simple_loop.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__start.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/embedders/tests/snapshots/instrumentation__zero_cost_ops.snap     Adjust expected constants to reflect updated metering costs for locals/args
Enhancement	► rs/execution_environment/benches/system_api/execute_inspect_message.rs     Update benchmark expected values for various ic0* operations (offsets changed)
Enhancement	► rs/execution_environment/benches/system_api/execute_query.rs     Update benchmark expected values for ic0_* data/certificate/arg ops (offsets changed)
Enhancement	► rs/execution_environment/benches/system_api/execute_update.rs     Update benchmark expected values across many ic0_* benchmarks (offsets changed)