[BUG] Cache key missing some properties

[nikstuckenbrock]

Describe the bug
As far as I understand the cache and its corresponding cache key, it should detect related changes in the recipe and rerun a task only if one of the relevant properties changes. Currently, the cache key does not include task-related (not ExecutableTask) resource information. I would therefore suggest adding the resource definition from the recipe task to the key.

To Reproduce

{
    "config": {
        "global_max_cores": "max",
        "global_max_memory": "max",
        "default_timeout": 48000,
        "output_directory": "./results"
    },
    "tamarin_versions": {
        "stable": {
            "path": "/home/bin/tamarin-binary"
        }
    },
    "tasks": {
        "reachability": {
            "theory_file": "src/tls13.spthy",
            "resources": {
                "max_cores": 24,
                "max_memory": 200,
                "timeout": 7200
            },
            "output_file_prefix": "reachability",
            "tamarin_versions": [
                "stable"
            ],
            "lemmas": [
                {
                    "name": "exists_C0"
                },

If for example the max_cores change from 24 to 26 it would still use the cache entry.

Hardware and software informations

• nixos
• batch-tamarin 1.1.1
• Python version 3.12.10