prevent smooth scrolling from taking too much time when resources are scarce.

we monitor the smooth scrolling time, and stop decelerating if it happens to be too far behind schedule.

that way the total scrolling time shouldn't exceed ~twice the default scrolling time (2*140ms) in the worst situation.