regressions: Lower wait factor for ck_ticket_pb.
ck_spinlock: Apply modulo arithmetic to proportional back-off ticket lock.