Migrate a test to -verify