pub fn field_into_allocated_booleans_le_fixed<E: Engine, CS: ConstraintSystem<E>, F: PrimeField>(
    cs: &mut CS,
    value: Option<F>,
    bit_length: Option<usize>,
) -> Result<Vec<Boolean>, SynthesisError>