Local trace formulae for commuting Hamiltonians in Toeplitz quantization