Constructing an AutoCounter by copying an uncommitted AutoCounter is now legal and works