Dorico only works in one direction with this. It won’t allow a bar with too many beats, but will allow a bar with too few. I’d really love some proofreading assistance with this, like request #7 here, but as of now it may be easier to dump an XML into Finale (Check Region for Durations) or Sibelius (I believe there is a script for this), use their proofreading tools to find the errors, then make the changes in Dorico.