ut-pipelining: Refactor sequence_generator/verifier
Use push_type in parallel