[Issue 9537] slap_op_time() can give a duplicated timestamp across restarts