A single-bit binary adder, designed to sum two bits, resulting in a sum and a carry output. Develop a truth table, visual representations, Boolean formulas for the output functions, a circuit diagram, and a Verilog module at the gate level. Conduct comprehensive testing with every possible pair of binary inputs.