bug(#3760): Synchronized `StrictXmir`

See #3763, release log:

• db7d303 by @yegor256: Merge pull request #3763 from ...
• ed9ec8f by @maxonfjvipon: bug(#3760): qulice
• b967900 by @yegor256: Merge pull request #3761 from ...
• b6663dd by @maxonfjvipon: bug(#3760): Synchronized Stric...
• a6cc1e8 by @maxonfjvipon: bug(#3757): PMD
• 8b0478f by @maxonfjvipon: bug(#3757): param
• 94c9b68 by @maxonfjvipon: bug(#3757): Conservative PHI
• a753bc2 by @yegor256: Merge pull request #3759 from ...
• 12cf2f5 by @github-merge-queue[bot]: new version in README
• d0ee64f by @maxonfjvipon: Merge pull request #3753 from ...
• 61c4c10 by @ArtemGet: remove optimization instantiat...

Released by Rultor 2.0-SNAPSHOT, see build log