message: Bigfixes to foreign range check
diff: use ark_ff::PrimeField;
  use array_init::array_init;
  use num_bigint::BigUint;
  -use o1_utils::{foreign_field::field_element_to_native_limbs, FieldHelpers};
  +use o1_utils::{foreign_field::foreign_field_element_to_limbs, FieldHelpers};
  use crate::circuits::polynomial::COLUMNS;
  @@ -215,7 +215,7 @@ pub fn create_witness<F: PrimeField>(v0: F) -> [Vec<F>; COLUMNS] {
  /// Extend an existing witness with a multi-range-check gate for foreign field
  /// elements fe
  pub fn extend_witness<F: PrimeField>(witness: &mut [Vec<F>; COLUMNS], fe: BigUint) {
  - let limbs = field_element_to_native_limbs::<F>(fe);
  + let limbs = foreign_field_element_to_limbs::<F>(fe);
  let limbs_witness = create_multi_witness(limbs[0], limbs[1], limbs[2]);
  for col in 0..COLUMNS {
  witness[col].extend(limbs_witness[col].iter())
  