Deterministic stack metering instrumentation

[pepyakin]

Within the context of #8153, in order to make execution of a PVF deterministic we should resort to instrumentation that would make engines to fail at the same stack height.

The reason why we need that is because the WebAssembly spec defines only that the stack is limited and should be exhausted. It doesn't define when and how it is measured. Some implementations may measure elements pushed on the stack, others may leverage the native stack and rely on stack guards, etc. The algorithm of instrumentation is described here.