re-benchmark nmod_mat_HNF() subroutine