Isolate execution

[aleksisch]

Now we execute code we want to verify in the same space, same VM where verifier works. User code can change behaviour of Lua, for example by overriding global variables, such as type, probably we should isolate it in separate process.