Unify static/non-static check for magic methods

And promote it to be fatal.

Add missing arg num check for __set_state

Check `__set_state` structure

Fix Bug #79521.

Closes GH-5462.