Judges as external functions

[mrsmkl]

There could be some kind of instruction that would trigger another verification game. For example there could be a function to execute another wasm program inside the wasm programs.