Function checked_andn

pub fn checked_andn<F: Field>(x: F, y: F) -> F

Compute andnot on a pair of boolean field elements.

Verifies at debug time that both inputs are boolean.