minor optimization in ..._given_divisor_8arg()
yet another det-modulo-prime loop
expose t_invmod()
un-comment call to ..._det_modular_given_divisor_4arg()