Suspended Functions, Captured State, and Deterministic Cleanup

Trace and implement a closure that reads and updates captured state after its outer function has returned.

Predict the enter, `yield`, body, and `finally` cleanup sequence of an `@contextmanager` on both normal and exceptional exits.