pub fn is_heap_cell(cell: &LoopCell) -> bool
True iff the cell touches the state plane (a load/store/alloc) — the side-effecting tiles the exec lane must keep in program order.