update: types and dependencies

[whichqua]

No description provided.

[odesenfans]

Reminder: wait for this to be merged before this PR is merged.

[whichqua]

@odesenfans I am facing an interesting thing in the tests:

[tests/test_prove.rs:235:5] &result = Output {
    status: ExitStatus(
        unix_wait_status(
            0,
        ),
    ),
    stdout: "",
    stderr: "info  execution in progress...\nerror failed to run Cairo program: starkware/cairo/bootloaders/bootloader/bootloader.cairo:42:5: Error at pc=0:546:\nGot an exception while executing a hint: Unknown Hint: from starkware.cairo.bootloaders.bootloader.objects import BootloaderInput\nbootloader_input = BootloaderInput.Schema().load(program_input)\n\nids.simple_bootloader_output_start = segments.add()\n\n# Change output builtin state to a different segment in preparation for calling the\n# simple bootloader.\noutput_builtin_state = output_builtin.get_state()\noutput_builtin.new_state(base=ids.simple_bootloader_output_start)\nCairo traceback (most recent call last):\n<start>:3:1: (pc=0:2)\n\n",
thread 'execute_and_prove_pie_with_bootloader' panicked at tests/test_prove.rs:243:5:

This is the code in question:

    let result = invoke_cli(
      true,
      &[pie.as_path()],
      None,
      None,
      None,
      Some(proof_file.as_path()),
  )
  .expect("Command should succeed");

  dbg!(&result);

  assert!(
      result.status.success(),
      "{}",
      String::from_utf8(result.stderr).unwrap()
  );

The command exists with a 0 but there is stderr. Is this expected