Weyl-Titchmarsh M-Function Asymptotics, Local Uniqueness Results, Trace Formulas, and Borg-type Theorems for Dirac Operators