- Free was changed from a store message to a thread_action message
- Stack frames are now freed properly when returning from a function
- Heap/stack addresses are tracked separately again
- New stores are added to invalidation buffers, per the spec
- Thread actions are executed now
- Tests still don't work yet