Fix stale GoReleaser reference in spec/README.md CI Integration section

[abienkowski]

Problem

spec/README.md line 128 (CI Integration section) states:

CI is handled via .github/workflows/release.yml (GoReleaser).

But GoReleaser was removed in PR #1 (#93fb420 "feat: auto-bump release on push to main, fix toolchain, remove goreleaser"). The release pipeline is now auto-bump + draft release + syft SBOM + Cosign signing.

Solution

Update the section to reflect the actual workflow, including the Quint verification step that is now in .github/workflows/ci.yml (quint job: typecheck + run).

Which implementation(s) would this affect?

• Quint specification

Additional context

• Actual CI: .github/workflows/ci.yml runs quint typecheck and quint run --max-steps=100 --invariants allInvariants --backend typescript