More detailed testing against the state verifier utility.
test is_true
Merge pull request #9401 from cachedout/unit-tests

More detailed testing against the state verifier utility.