Investigate VN-based implied assertions

[EgorBo]

#108420 (comment)

It's possible that optImpliedByCopyAssertion and optValueNumToAsserts in general do not add any value, we need to either remove it or investigate why.

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.