Add mechanism for clearing stateful context from stack.
Initial attempt at post_op in contexts. Frames not used yet.
Remove unused vars.
Removed instanceof checks when generating post_op contexts.
Not used since we can use the GetOpCallVisitor to do the check.
Massive clean up of FIXMEs and TODOs.