Remove Permutation Proper workaround that is not needed in Coq >= 8.15.

Fixed by https://github.com/coq/coq/issues/14571

I checked that the test cases in #114 (closed) still succeed instantly after removing the workaround.