By CAS-ing the cell value before CAS-ing the header it should be possible to remove our singular lock.

If the CAS on the header fails due to the epoch the cell must be returned to null.

If a thread tries to write a cell and it fails it needs to abandon the entire block because otherwise we'd lock on the cell being returned to null or the write index being increased.