I had suggested the last_id, but that puts an unnecessary dependency on LastIdsQueue. Using epoch height is pretty interesting in that given the same set of stakers, you simply increment the seed once per epoch. Also, tighten up the LeaderSchedule code.