tcursor<P> gains previous_full_version_value() and next_...(int state).