Verification tests.