Track written_length as a size_t

When writing multiple vectors from a nearly-too-big-for-dof_id_type
system, we can end up actually-too-big-for-dof_id_type.