Partitioning Pauli Operators: in Theory and in Practice