Fix Vader! to exit unconditionally on success (#30)
Switch back to workbench buffer only once during a test case

Do not switch back again on Do or Execute block when already switched
back by Before block.