Selection tools: many improvements to on-screen rendering

- User can now set highlight color
- Render code greatly simplified
- Various performance enhancements