WASM PVM forces fixed number of ticks for top-level calls

The WASM PVM must enforce that each top-level call must take exactly the fixed number of ticks as determiend by #3590 (closed).

That includes:

• Trapping if the call exceeds that number during execution
• Padding with no-ops until the tick counter reaches the desired number

At the moment, the Wasm_pvm module is the main subject of this change.