Add a test for RANDPOPLPUSH