Issue #1 - now updating the map's official scroll position halfway through scroll animation instead of at the end, so that the next rank of tiles in the direction of motion will be loaded in time to display them. This fixes the weird stretching we were seeing at the leading edge of the map.