Explain in M-STATIC-VERIFICATION general motivation for custom lints we picked & expand

[ralfbiedert]

Add a few more words that they make code look nicer, etc.

Also add redundant_pub_crate = "allow".

TODO: Any statistics which lints are usually enable / suppressed in ecosystem? IIRC there was an experiment about that a few years ago, but can't find it anymore.