Cell Performance in Loop Invariants

Optimize read-heavy structures by using Cell for state tracking.