release: v1.4.2

[jonathanpwang]

• merge release: v1.2.2 with updated changelog stark-backend#204
• update changelog
• update stark-backend tag
• update book tags

[Copilot]

Pull request overview

This PR prepares the v1.4.2 release of OpenVM, updating version references across the codebase and documenting the latest changes.

Key Changes:

• Version bump from 1.4.2-rc.1 to 1.4.2 across all workspace crates
• Updated stark-backend dependency from v1.2.2-rc.1 to v1.2.2
• Updated Rust toolchain requirement from 1.86 to 1.90.0
• Added new AOT (Ahead of Time) compilation installation instructions
• Code formatting improvements (Python and TypeScript files)

Reviewed changes

Copilot reviewed 18 out of 19 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
Cargo.toml	Updated workspace version to 1.4.2 and stark-backend dependencies to v1.2.2
Cargo.lock	Updated all package versions and stark-backend git references
CHANGELOG.md	Added v1.4.2 release notes documenting new features and fixes
scripts/download_setup.sh	Updated artifact download URL from v1.4.1 to v1.4.2
docs/vocs/vocs.config.ts	Updated version display to v1.4.2 and reformatted with consistent double quotes
docs/vocs/vercel.json	Updated S3 URLs for documentation from v1.4.1 to v1.4.2
docs/vocs/docs/pages/specs/reference/rust-frontend.mdx	Updated Rust version requirements from 1.86 to 1.90.0
docs/vocs/docs/pages/index.mdx	Updated installation command to use v1.4.2 and Rust 1.90
docs/vocs/docs/pages/book/writing-apps/generating-proofs.mdx	Updated artifact download URL to v1.4.2
docs/vocs/docs/pages/book/guest-libraries/*.mdx	Updated git tags in dependency examples to v1.4.2
docs/vocs/docs/pages/book/getting-started/*.mdx	Updated installation instructions and git tags to v1.4.2
docs/vocs/docs/pages/book/acceleration-using-extensions/algebra.mdx	Updated git tags in dependency examples to v1.4.2
ci/scripts/bench.py	Updated toolchain to 1.90 and reformatted with Black-style Python formatting
.github/workflows/versioning.yml	Updated default version tag to v1.4.2
.github/workflows/release.yml	Updated default version tag to v1.4.2

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-15 [-6.2%]) 227	322,610	2,058,654	-	-	-
fibonacci	(-13 [-1.3%]) 1,026	1,500,209	2,100,402	-	-	-
regex	(+21 [+0.9%]) 2,381	4,137,502	17,695,216	-	-	-
ecrecover	(+26 [+3.5%]) 775	122,859	2,263,998	-	-	-
pairing	(-13 [-0.9%]) 1,458	1,745,742	25,408,302	-	-	-

Commit: 7761c34

Benchmark Workflow