Fix orchestra/testbench version