Add implementation of ws_processor_exec()
Add implementation of ws_processor_jump()
Add extensive documentation on stack semantics