Terminate parallel GMRES when it diverges

[nilsvu]

Proposed changes

GMRES is guaranteed to decrease the residual monotonically, so it's an error when the residual increases.

Upgrade instructions

Code review checklist

• The code is documented and the documentation renders correctly. Run
  make doc to generate the documentation locally into BUILD_DIR/docs/html.
  Then open index.html.
• The code follows the stylistic and code quality guidelines listed in the
  code review guide.
• The PR lists upgrade instructions and is labeled bugfix or
  new feature if appropriate.

Further comments