AMG: Added exception if coarsening gets stuck and other diagnostics.

Rather than running into an assertion, the user now encounters an
exception explaining the reason why the AMG setup failed.
For additional diagnostics it is also possible to query the problem
sizes at each level.