Comment 22 for bug 1200788

Indeed, it's rather a merge regression from 5.5. The invariant is supposed to be enforced whenever trx_sys->rw_trx_list is modified, i.e. when trx_sys->mutex is locked. Which is done earlier in the same function. The same assertion later (with trx_sys->mutex released) is therefore redundant. I will remove it.