CountNonZerosInLowerTriangle refined. All count tests passing.