Tests/FixedIssues/Issue33.lean failing locally

# Description

Issue33.lean fails at line 74-76:
```
#blaster (gen-cex: 0) (solve-result: 2) (timeout: 3)
[∀ (transaction : List Nat) (n : Nat),
validate_signatures (VerifierConfig.mk [] n) transaction = true]
```

## Environment
```
Lean-blaster [ main]
❯ z3 --version
Z3 version 4.15.2 - 64 bit

Lean-blaster [ main]
❯ lean --version
Lean (version 4.24.0, arm64-apple-darwin23.6.0, commit 797c613eb9b6d4ec95db23e3e00af9ac6657f24b, Release)

Lean-blaster [ main]
❯ git status
On branch main
Your branch is up to date with 'origin/main'.

nothing to commit, working tree clean

Lean-blaster [ main]
❯ git rev-parse HEAD
402f6d22c1fc42e6e26255faac77e15b2450e4ab
```