Add comment explaining that RWTicketSpinLock<..., true> is not reentrant