Add random_positive_definite_matrix() and its tests.