Function verify_secure_runner

pub fn verify_secure_runner(
    runner: &CairoRunner,
    verify_builtins: bool,
    program_segment_size: Option<usize>,
) -> Result<(), VirtualMachineError>

Verify that the completed run in a runner is safe to be relocated and be used by other Cairo programs.

Checks include:

• (Only if verify_builtins is set to true) All accesses to the builtin segments must be within the range defined by the builtins themselves.
• There must not be accesses to the program segment outside the program data range. This check will use the program_segment_size instead of the program data length if available.
• All addresses in memory must be real (not temporary)

Note: Each builtin is responsible for checking its own segments’ data.