Local trace formulae and scaling asymptotics in Toeplitz quantization