Function pocket_prover::and8

pub fn and8(
    a: u64, 
    b: u64, 
    c: u64, 
    d: u64, 
    e: u64, 
    f: u64, 
    g: u64, 
    h: u64
) -> u64

An AND relation of 8 arguments.