Mentions are also listed in the message metadata, in the allowed_mentions field, therefore it should be very easy for Discord to strip mentions of deleted users' IDs.