We should probably make some actual verification tests for this suite, but I guess we can leave that until after beta.