CERT 7877 Split address validation providers

[nivcertora]

https://certora.atlassian.net/browse/CERT-7877

[yoav-el-certora]

Basically looks fine for me, just wondering if there is or will be any difference between the 2 providers lists, if we do expect differences, we should probably split implementation as well.

[nivcertora]

Basically looks fine for me, just wondering if there is or will be any difference between the 2 providers lists, if we do expect differences, we should probably split implementation as well.

Strongly disagree with changing the correct code logic for the wrong "UX" description.

[yoav-el-certora]

It all depends if price_feed_providers and token_validation_providers will require different checks in the future as stated in the ticket, waiting for @MichaelMorami response