testbench bugfix: re-enable missing tests