Fix std::is_trivial deprecation and clang-tidy warnings

[afarber]

Issue

Fixes #7245

PR #7248 missed two std::is_trivial instances that use the ::value syntax (in fingerprint.hpp and edge_based_graph_factory.hpp).

Also, combining multiple type traits with && triggers a false positive from clang-tidy's misc-redundant-expression check. This PR splits all combined static_assert conditions into separate statements to fix the CI failure.

Changes

• Replace remaining std::is_trivial with std::is_trivially_default_constructible + std::is_trivially_copyable
• Split combined static_assert conditions to avoid clang-tidy warning
• Fix typo: "needs have" -> "needs to have"

Tasklist

• CHANGELOG.md entry (How to write a changelog entry)
• update relevant Wiki pages
• add tests (see testing documentation)
• review
• adjust for comments

Requirements / Relations

Link any requirements here. Other pull requests this PR is based on?