[WIP, don't merge] Specify types of Stack arguments & split up VM.execute

WIP because I've commented out the JIT, as all the changes need to be updated in the JIT as well. This patch provides a 30% performance improvement of the interpreter in one benchmark.