COMPUTE_FRAMES option is buggy, and no tests exist.
The attached code gives an ArrayIndexOutofBoundsException.
It is not clear why it is necessary to push(NULL) in Frame.execute() for instructions that have
nothing to do with the stack (GOTO, RETURN etc).