More explicit index calculation; More checks / tests

Distributed (local) index calculation is now expressed in a more
explicit notation in convergent_matrix.hpp

Checks on thread id now present when asynchronous update task debug
messages are enabled

New test-case setup in tests/, which is now built by default