Fix rand_seed mismatches in verify phase