drop unused InsertReset()
fix make.py, rename testbench