fix(#3163): while logic is fixed

[maxonfjvipon]

What's done:

1. while does not dataize the first step if the first condition is true
2. while expects condition to have index

Closes: #3163

---

PR-Codex overview

The focus of this PR is to refactor the while loop logic in the eo-runtime module and add test cases in while-tests.eo.

Detailed summary

• Refactored while loop logic in eo-runtime
• Added test cases for while loop in while-tests.eo
• Improved handling of loop conditions and iterations

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[maxonfjvipon]

@yegor256 please check

[yegor256]

@rultor merge

[rultor]

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@yegor256 Done! FYI, the full log is here (took me 1hr)