Prettify and display families in Pauli basis
Would be useful for toy models to be able to display models in terms of tensor products of Pauli matrices. This should involve prettification that minimizes the number of terms in the Pauli basis. Could also provide the option of prettification and display in terms of custom basis matrices.