EditAction: Grow arrow head length with stroke width

Each side of the arrow head should now be at least 8px or 3x the stroke
width in length, whichever is longer. Also changed the way we get update
areas for arrows so that an arrow head won't be clipped off when you
start drawing.