Fix tutorial test bench

The test bench in the tutorial didn't compile, because it used
`outputVerifier` instead of `outputVerifier'` (note prime at end).
Furthermore, several engineers have commented over the years that this
structure we've always suggested in our tutorial material, with
`expectOutput` as a function that takes the output signal, and the DUT
being wired up in the definition of `done`, is a bit odd. I feel it
makes more sense to define `out` and `expected` as the signal from the
DUT and the expected signal from the DUT.

Author: DigitalBrains1

tutorial/src/first-steps/test-bench.md

@@ -33,12 +33,12 @@ testBench = done
       clk
       rst
       $(listToVecTH [(1, 1) :: (Signed 9, Signed 9), (2, 2), (3, 3), (4, 4)])
-  expectOutput =
-    outputVerifier clk rst $(listToVecTH [0 :: Signed 9, 1, 5, 14, 14, 14, 14])
-  done = expectOutput (topEntity clk rst en testInput)
-  en = enableGen
+  out = topEntity clk rst en testInput
+  expected = $(listToVecTH [0 :: Signed 9, 1, 5, 14, 14, 14, 14])
+  done = outputVerifier' clk rst expected out
   clk = tbSystemClockGen (not <$> done)
   rst = systemResetGen
+  en = enableGen
 ```
 
 This will create a stimulus generator that creates the same inputs as we used earlier for the simulation of the circuit, and creates an output verifier that compares against the results we got from our earlier simulation.