Add explicit check for proper local grid dimensions

[maherou]

Presently HPCG has asserts that check to make sure each fine grid can be coarsened by a power of two. There are comments in the source that explain why the assert fails. But this is not as user friendly as having a simple check in the beginning of the run. We could even compute the grid dimensions that are larger and smaller which would work.