I will echo Randy's sentiment here: is there a technical reason
why the root name servers need special "provider-independent"
addresses, or is this a solution looking for a problem?

Root name servers is the only legitimate use for fixed IP

How about allocating some "good sounding" IP addresses for them,
(like 1.0.0.x/32) and hard-wiring them into resolver code? Would
save quite a lot of configuration headaches for newbies.