verify: decouple seed generation from buffer fill