Ohadn/remove program segment from proof

[ohad-nir-starkware]

Note

Medium Risk
Changes the proof’s public-memory layout and transcript mixing by making the program section optional, which can affect proof compatibility and verification if producers/consumers get out of sync. Logic is straightforward but touches prover/verifier hashing and claim validation paths.

Overview
This PR makes the program memory section in PublicMemory optional so proofs can omit the program segment when it is already included in the preprocessed trace (program_in_ppt).

Prover and verifier logic is updated to conditionally include/mix/verify program data: packing public claims and Merkle mixing skip program IDs/values when absent, verify_program is only run when provided, and get_verification_output returns a zero program hash when the program is omitted.

Test utilities, constraint assertions, and golden proof fixtures are updated to pass the new program_in_ppt flag and reflect the updated serialized proof output.

^{Written by Cursor Bugbot for commit 17b718b. This will update automatically on new commits. Configure here.}

---

This change is 

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}