edits to execution engine in full paper.
Fixes to main memory implementation