Backport fixes in #3694:

• Avoid unbounded host buffer allocation during execution (#3545)
• Fix operator precedence issue in check_bigint_addr (#3564)
• Constrain Receipt::journal to be empty when no output is expected (#3632)
• Remove asserts and potentially panicking index operations based on seal data (#3637)
• Set dev_mode to false in VerifierContext::empty and inherit dev_mode in CompositeReceipt assumption verification (#3654)
• On SuccinctReceipt, check that the control_id on seal matches metadata (#3687)
• Update cfg for docs.rs to adjust to breaking changes in nightly (#3604)
• Add a note about codec selection for the Receipt struct.

Full Changelog: v3.0.4...v3.0.5

This release contains a fix to risc0-groth16 to expose the seal_to_json function

• Execution and preflight speed improvements 🚀
• New much faster recursion witness generation that runs on GPU 🔥
• New much faster Groth16 implementation that run on GPU 🔥
• Now requires installing additional artifacts by running rzup install risc0-groth16. Enure rzup version is >= 0.5.0
• Stabilize bigint and keccak features
• 5090 support in Bento
• Experimental multi-GPU default prover. Enable with RISC0_PROVER=actor 🧪
• Support for debugging guest program execution using gdb 🔬

• Fix to not read RISC0_DEV_MODE environment variable in the guest (thus requiring sys-getenv feauture)
• Minor tweaks to bento image

• Adds new with_dev_mode to VerifierContext and ProverOptions which allows programmatically enabling dev-mode, and gives a way to enable dev-mode safely in the guest.
• Deprecates some dev-mode related functions.
• Tweaks to bento images