Avoid the <foo>_opt functions not available in older OCaml

* src/util.ml (smap_find_opt): New function to replace SMap.find_opt.

* src/eval.ml (nth_ctor_arg.find_nth): Avoid List.nth_opt.
(erasable_p2.is_erasable): Use List.exists.