Exclude the __proto__ property from the "report missing override" check

Fixes #713