Stack validation improvements

[ashmind]

Currently I get "Return expected the stack of be empty" if something is on the stack when I call return.
It would be good to have some info on what's on the stack: at least stack size and maybe types?

Not sure how I can find it out at the moment.