ModelChecker: drop IOperationContext from ModulesHolder and ModelsHolder, use SearchScope#resolve as intended (to filter out elements not visible in the scope), reduce number of read actions (especially from the code locations we can't nor shall care about model access).