write_xaiger: sort holes by offset as well as port_id