Revert "lib: internal: nativeresolver: solution: determine IntroducedBy dynamically"

Unfortunately, determining IntroducedBy dynamically cannot by design
deal with circular element dependencies.
lib: internal: nativeresolver: impl: __final_verify_solution: refactoring: use range-based 'for'
Merge branch 'next' into next-plus/console/reason-chain2
WIP
WIP
WIP