rewrite determinant benchmark
benchmark re-implemented HNF double-determinant algorithm