[DO NOT MERGE] Add test that trigger syncurity evaluation deadlock.

[aoli-al]

No description provided.

Pull Request Overview

This PR adds a new test designed to trigger a syncurity evaluation deadlock using future tasks. It also integrates the new test into the test suite and cleans up unused imports in an existing deadlock test.

• Added SyncurityAwaitDeadlockByFuture test that uses futures to simulate deadlock scenarios.
• Updated the test suite to include the new deadlock test.
• Removed unused imports in SyncurityAwaitDeadlockInConditionTest.

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.

File	Description
junit/src/test/java/org/pastalab/fray/junit/internal/syncurity/SyncurityAwaitDeadlockByFuture.java	New test that triggers a deadlock using future tasks.
junit/src/test/java/org/pastalab/fray/junit/tests/SyncurityAwaitTest.java	Integrates the new deadlock test into the test suite.
junit/src/test/java/org/pastalab/fray/junit/internal/syncurity/SyncurityAwaitDeadlockInConditionTest.java	Cleans up unused imports.