Skip type_class props check

[maslowalex]

Summary

• Skip properties check by default
• Added SKIP_PROPS_CHECK environment variable that controls prop-checks skip
• Attempted to fix all compilation warnings, but it turns out that it's simply not possible to avoid compile time warnings when creating an empty protocol: (More on that here: https://github.com/elixir-lang/elixir/pull/11588)