> This check makes sure the user address is not 0x0... I am also not sure why this check is necessary. Let me know if you understand.

...

You may want to see here: https://ethereum.stackexchange.com/questions/91760/why-do-solidity-audits-include-checks-that-function-address-arguments-are-not-eq