Use masked draw strokes

Currently most operations just naively blat down the brush over and over, with massive overdraw.
This is fine, but sucks for "modifying" operations like brighten/darken, or when using transparency.
Need to treat each drawing stroke as a single operation, drawing each pixel only once. For interactive tools like pencil, this means maintaining a mask as we go.

