feat: &&=, ||=, >>=, <<= operators

[Gusarich]

Issue

Closes #811.

Checklist

• I have updated CHANGELOG.md
• I have documented my contribution in Tact Docs: https://github.com/tact-lang/tact-docs/pull/PR-NUMBER
• I have added tests to demonstrate the contribution is correctly implemented: this usually includes both positive and negative tests, showing the happy path(s) and featuring intentionally broken cases
• I have run all the tests locally and no test failure was reported
• I have run the linter, formatter and spellchecker
• I did not do unrelated and/or undiscussed refactorings

[anton-trunov]

There is a bunch of result = result && ... expressions in semantics.tact -- would be nice to also dog-food here and refactor that code to use &&=.

Let's add a few negative tests, like n &&= true, where n is not a boolean, e.g. Int.

[anton-trunov]

Almost there, let's just fix some unintuitive error messages

[anton-trunov]

Just one small step