Add some new verification tests.