Add ThreeBitAdder testbench.
Improve BitCounter testbench to check all possible inputs and include self-check and GTKwave dump.