fix: macos-12 runners deprecated (#1954) #372

Job	Run time
Test (ARM)	1s
Check Verifier `no_std`	1s
Cargo Check	1s
Examples	1s
Formatting & Clippy	1s
Test Verifier Crate	1s
Test (x86-64)	1s
Spell Check	1s
Build patches and zkvm in host	1s
Check lock files	1s
	10s

Provide feedback