Use randbits instead of ad-hoc emulation in prevector tests