Nothing in principle can pass evaluate_state step

[SkidanovAlex]

Example failure:

https://github.com/leanprover/lean-eval-submissions/actions/runs/36453317296/job/109074417739

• The script's pattern: leanprover/lean4:v[0-9]+.[0-9]+.[0-9]+, and it requires a full match.
• The value it receives: exactly leanprover/lean4:v4.35.0-rc3, read from lean-toolchain at lean-eval commit 47349f7 ($(cat) strips the trailing newline). It comes only from the benchmark,
  so nothing in a submission can change it.