nmod_mat_HNF: test passes