Add stream compaction for GPUVerify using only specification of prescan