Pull request

Description

Following the merge of #703, some Detekt rules (in particular about the documentation) are no longer enabled. I went through the old Detekt config file and added the missing rules.

Changes made

• Re-enable rules for documentation.
• Re-enable rules for complexity.
• Re-enable rules for coroutines.
• Re-enable rules for naming.
• Re-enable rules for style.
• Adjust some formatting rules (was not done before).

Checklist

• Your branch has been rebased onto the main branch.
• APIs have been properly documented (if relevant).
• The documentation has been updated (if relevant).
• New unit tests have been written (if relevant).
• The demo has been updated (if relevant).
• All pull request status checks pass.