Add testbench for behavioral and structural BitCounter.