Change Interaction.user to not be Optional
Change Interaction.user to not be Optional

This has potential to be a breaking change and Discord could definitely
royally screw this over in the future. However, as far as I can tell
every interaction has either a User or a Member so this change should
be kosher. I'm unaware of any interaction, even in the future, where
this is not true.

I hope these are not my famous last words.

Harmon758/discord.py,Harmon758/discord.py,Rapptz/discord.py,rapptz/discord.py