Assertions to check properties of matrices
