Trace formulas and Borg-type theorems for matrix-valued Jacobi and Dirac finite difference operators