Canonical Naimark extension for generalized measurements involving sets of Pauli quantum observables chosen at random