Would it be theoretically possible to have an incremental LVS checker in magic, like the DRC checker currently is?

I'd say that something more like flylines in PCB design could be useful. An indicator showing something is disconnected. In general though, it would be hard to display the results of an LVS in a useful way