With WebDAV it's to be expected since the app needs to parse a giant XML file at the beginning of each sync and this can freeze the app. This is unfortunately the only way to compare what's on the phone and what's on the server, since WebDAV doesn't support delta sync like Joplin Server or Dropbox