Improved subtests in t/02-verify.t