testbench.py will be loaded implicitly if no other testbench is specified