Setting up the virtual environment fails with dependency conflicts

I am running GNU Linux 7.1.6 (Arch Linux).

On the `mainline-2026` branch, running `source satcomp-activate.sh` failed due to dependency conflicts.
This is caused by `requirements.txt` specifying fixed versions of python packages.

Using the following fixed the issues for me:

```
attrs==25.3.0
aws-cdk-lib==2.253.0
boto3==1.39.9
cattrs==24.1.3
constructs>=10.5.0
docker==7.1.0
moto==5.0.27
psutil==7.0.0
pytest==9.0.3
PyYAML==6.0.2
requests==2.33.0
tqdm==4.67.1
```

Start with requirements.txt on the mainline-2026 branch and compare its pinned versions with the versions listed in the issue. Run source satcomp-activate.sh on GNU Linux 7.1.6 (Arch Linux) to verify that the virtual environment setup completes without dependency conflicts.

Written by the indexing model from the issue text.