Reconsider the algorithm for the stroke erase tool.
It seems the algorithm used for checking 'collision' between the eraser and strokes could be vastly optimized. For reference, OneNote's stroke eraser works with nearly zero latency. In Squid, it works quickly on a new page, but soon grows sluggish as the stroke count goes up.
Love this app!