Because a segfault is so serious, I think we should add something to the doc string of `eudx_both_directions` to tell future developers that seeds need to be checked before being passed to this function.