Add checks for permutations

[zommiommy]

Currently, the CLI tools and PermutedGraph assume that the permutation is bijective but they never check it. We should add a check by default with the possibility to opt-out.