1) add the tick command in API 2) remove fire buffers 3) implement the step in the daisy tester with tick & propagate
add tick and propagate to verilog harness
1) support more than 32 bits 2) fix init probs in verilog harness