fix: correct code comments and references in ArrayUtils, CHC, EncodingContext, and LSP tests

[Pistasha]

Summary

This PR updates several minor code comments and references for clarity and correctness:

• ArrayUtils.cpp: Corrected the comment to accurately reflect the "Compute 2^length + 1" operation.
• CHC.cpp: Adjusted the solverStackHeight() condition to ensure proper logic.
• EncodingContext.h: Fixed the function signature and naming for better clarity.
• goto_definition_imports.sol: Updated import cursor references (@weatherImportCursor) and related comments.

How did you test your changes?

• Verified that the code compiles successfully.
• Ran existing test suites to ensure no regressions.
• Manually reviewed each changed comment/import for correctness.

[github-actions]

Thank you for your contribution to the Solidity compiler! A team member will follow up shortly.

If you haven't read our contributing guidelines and our review checklist before, please do it now, this makes the reviewing process and accepting your contribution smoother.

If you have any questions or need our help, feel free to post them in the PR or talk to us directly on the #solidity-dev channel on Matrix.