You are absolutely correct. I have been used the proximity sensors(4mm rectangle one, 4mm round one and 8mm round one) for a while, and I still need to manually adjust them from time to time. No one is promoting the auto-leveling, but we all like a good challenge. I found most of proximity sensors in the market is not as accurate as it seems. There might be a 1mm difference between each power cycle. I also owns an expensive Sindoh 3D printer, the auto-leveling does generate the constant results. Next thing for me to try is the BLTouch sensor.
If you can get a constant result from a stocked z-stop sensor and you don’t move the printer at all, there is no reason to get an auto-lelveling sensor.
The stocked firmware do not provide the same auto-leveling as in the Marlin firmware. The auto-leveling in Marlin does move Z-axis during printing in the same layer based on the auto-leveling result.