doc: clarifying unsafe code vs undefined behavior

As discussed in pull #19068, trying to make the wording more clear for unsafe code vs undefined behavior.