Use the .gather() method when calculating the maximum difference in the field values across all processes.
The backend will always be set to Firedrake here.