Function ensure_odd

pub fn ensure_odd<U, F>(
    builder: &mut ConstraintSystemBuilder<'_, U, F>,
    input: OracleId,
    count: usize,
) -> Result<(), Error>
where
    U: PackScalar<F> + PackScalar<BinaryField1b> + Pod,
    F: TowerField,