If your system can use and boot from the NVMe drive, then yes...that would be 'faster'. Probably not so you'd notice in loading the OS.
The 4k speeds are not that different. And out here in the real world, that is where most of your stuff is...small files.
However, I would strongly suggest larger than 128GB.
Personally, I would sacrifice the Pro or the NVMe, in favor of 250GB vs 128GB.
But that's just me.
But it's your system and use case.
None of them are a 'waste' of money.