Verify inner types when converting values to pointers.

[hakymulla]

When converting JIT value container to a pointer, we should assert that all the inner values match the specified type.

• Array:

  cairo_native/src/arch.rs

  Line 117 in a4be0f6

  // TODO: Assert that `info.ty` matches all the values' types.

• Dictionary:

  cairo_native/src/arch.rs

  Line 186 in a4be0f6

  // TODO: Assert that `info.ty` matches all the values' types.