testbench generation now seems to actually work. cool.