…#20835)

## Summary

`seg integrity` runs `CommitmentHistVal` and `StateRootVerifyByHistory`
regardless of whether commitment history is persisted on the datadir.
Both depend on commitment history `.v` files:

- `CheckCommitmentHistVal` iterates `.v` files; when none exist it
returns nil after logging `files=0`, which silently masks
misconfiguration as a passing check.
- `CheckCommitmentHistAtBlkRange` would fail confusingly when trying to
read history that isn't there.

This PR reads `rawdb.ReadDBCommitmentHistoryEnabled` once at the start
of `doIntegrity` and skips both checks with an informative log line when
the flag is off. Mirrors the existing `BorEvents` / `BorSpans`
chain-guard pattern in the same dispatch switch.

The other commitment checks (`CommitmentRoot`, `CommitmentKvi`,
`CommitmentKvDeref`, `StateVerify`) operate on the domain `.kv` files
and don't depend on history, so they remain unconditional.

## Test plan

- [x] `make lint` clean
- [x] `go build ./cmd/utils/app/...` succeeds
- [x] On a no-history datadir, run `seg integrity --check
CommitmentHistVal` and confirm the skip log appears and the command
exits 0 instead of "passing" with files=0
- [x] On a history-enabled datadir, confirm `CommitmentHistVal` and
`StateRootVerifyByHistory` still execute as before

… (#20838)

Cherry-picks the integrity-area chain from `main` onto `performance`, in
order:

1. #20435 — `integrity: restore StateProgress check`
2. #20680 — `integrity, stagedsync: cap state collation at block
snapshots progress`
3. #20714 — `add time budget for integrity checks`
4. #20835 — `cmd/utils/app: skip commitment history integrity checks
when disabled`

#20714 is the structural refactor of `doIntegrity`
(`errgroup.Go(switch{...})` → `runCheck := func{}` + budget loop).
Conflicted with performance-only Bloatnet customizations on the same
function (#20806, #20810, #20813); resolved by adopting #20714's shape
and re-applying the Bloatnet handling for `CommitmentKvDeref`,
`CommitmentHistVal`, and `StateRootVerifyByHistory`. `failFast` arg on
`CheckCommitmentHistAtBlkRange` preserved (matches performance's
signature).

Submodule pointer for `execution/tests/execution-spec-tests` left
unchanged.

`make erigon` + `make lint` clean.

Cherry-pick of #20835 to `release/3.4`.

…#20835)

## Summary

`seg integrity` runs `CommitmentHistVal` and `StateRootVerifyByHistory`
regardless of whether commitment history is persisted on the datadir.
Both depend on commitment history `.v` files:

- `CheckCommitmentHistVal` iterates `.v` files; when none exist it
returns nil after logging `files=0`, which silently masks
misconfiguration as a passing check.
- `CheckCommitmentHistAtBlkRange` would fail confusingly when trying to
read history that isn't there.

This PR reads `rawdb.ReadDBCommitmentHistoryEnabled` once at the start
of `doIntegrity` and skips both checks with an informative log line when
the flag is off. Mirrors the existing `BorEvents` / `BorSpans`
chain-guard pattern in the same dispatch switch.

The other commitment checks (`CommitmentRoot`, `CommitmentKvi`,
`CommitmentKvDeref`, `StateVerify`) operate on the domain `.kv` files
and don't depend on history, so they remain unconditional.

## Test plan

- [x] `make lint` clean
- [x] `go build ./cmd/utils/app/...` succeeds
- [x] On a no-history datadir, run `seg integrity --check
CommitmentHistVal` and confirm the skip log appears and the command
exits 0 instead of "passing" with files=0
- [x] On a history-enabled datadir, confirm `CommitmentHistVal` and
`StateRootVerifyByHistory` still execute as before