add more assertions from ivory-opts