Write proper tests

[axsk]

The current tests look quite ugly.

• Test the different solver types
• Test dense and sparse matrices
• Test P and Q
• Test for consistency between the above
• Test for the PCCA+ guarantees (positivity, partition of unity, subspace)