Model call stack return values.

This is the first step towards being able to return values from functions.
Also includes the beginnings of the handling for loop jump instructions
(break, continue) but not complete yet.