It would be useful to have a function that computes the inner product between two stabilizer states
It would be useful to have a function that computes the inner product between two stabilizer states