Function mask_checked

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