Permutation in super_to_choi

The permutation used on the Choi matrix indices should be (3, 1, 2, 0). I've changed that. Any other changes can be ignored.