Just to close the loop, both the Lenovo 40B0 and the Dell WD22TB4 docks seem to be working well for me with a 4k displayport monitor and a 1080p HDMI monitor, and a few USB devices (external keyboard, USB microphone, logitech universal receiver), and both provided 60w of USB-PD. The Dell has a little LED on the plug which stays lit when the laptop is on.
After using the Dell for a week, just today I started having 2-3 episodes where the 1080p screen went black and then came back after about 1-2 seconds which I haven’t done any troubleshooting on yet. I used the Lenovo for about 2 days, and might actually like that one better because it appears to be fanless and has a removable thunderbolt cable to the host, unlike the Dell dock, but still trying to decide which dock will stay on my primary workspace, and which will go to a different setup.