Trace formulae, Zeta functions, congruences and Reidemeister torsion in Nielsen theory