Function choose_checked

pub fn choose_checked<F: FieldWitness>(
    bits: &[Boolean],
    xs: &[F],
    w: &mut Witness<F>,
) -> F