TXS and specs to move contacts to default stage if their stage_id is destroyed