More progress on verify_history_sorted