When Wordpress is lagging, it is always because of the infrastructure, whether that is client or server side. The editor does not send data to the backend. Without actually having access to the machine, I can almost guarantee that there are issues with the client-side machine or browser which is the reason for the lagging.