lies with

This is a euphemism. Alternate translation: "has sexual relations with" (See: rc://en/ta/man/jit/figs-euphemism)

he must surely be put to death

This can be stated in active form. Alternate translation: "you must surely put him to death" (See: rc://en/ta/man/jit/figs-activepassive)