Unit test for bitwise AND circuits