Reordered rasserts and guarantees in half_intrusive_list_t to catch errors in a better order.