Add infallible display name fns; make FFI fns infallible, too (#8345)