More detailed testing against the state verifier utility.