[HFresh] Stale posting is retained after the seven-bit generation counter wraps from 127 to 1

#!/usr/bin/env python3

import subprocess
from pathlib import Path

WEAVIATE_SRC = Path("/path/to/weaviate")
GO = "go"

PACKAGE = "./adapters/repos/db/vector/hfresh"

def run(test_name):
    command = [
        GO,
        "test",
        "-mod=mod",
        PACKAGE,
        "-run",
        test_name,
        "-count=1",
        "-v",
    ]

    result = subprocess.run(
        command,
        cwd=WEAVIATE_SRC,
        text=True,
        capture_output=True,
    )

    print(result.stdout, end="")
    if result.stderr:
        print(result.stderr, end="")

    return result.returncode


target_code = run(
    "^TestAuditHFreshVersionWrapRetainsStalePosting$"
)

control_code = run(
    "^TestAuditHFreshVersionNoWrapRemovesOlderPosting$"
)

if target_code == 1 and control_code == 0:
    print("BUG_REPRODUCED")
else:
    print("BUG_NOT_REPRODUCED")

current_generation=1
control_removed=True
search_ids=[]

current_generation=2
control_removed=True

current_generation=1
retained_version=127
search_ids=[900]
expected_removed=True