Move attribute checks to type checking phase

[ironcev]

#6986 defines a single place to check attribute's properties, in the convert_parse_tree. This means that modules with attribute issues will now consistently not reach the type checking phase. This was previously the case for some of the issues with attributes where custom checks where done during the type checking phase.

Checking attribute properties can be moved after the tree conversion phase, except the checks for #[cfg]. The benefit is the continuation of compilation until the end of module.