So, we have `Orig`, `Resized` and `CState0`. I believe this corresponds to existing/pre-resized ring, resized-but-not-yet-balanced ring, and balanced ring respectively, right? Perhaps a comment here would be helpful. Specifically, noting the difference between `Resized` and `future_ring(Resized)`.