Timeslider: Prefetch the last 100 edges on all granularities
Timeslider UI: Animate transitions smoothly
Timeslider UI: Polish the timestamp and move it together with the handle