Updates the semantics of the verifier tests

We now add an assert method, which tests whether the result of our call
to the verifier matches our expectations. This fixes the previous semantics
as we might expect a block to be invalid, and this still passes the test.