Added cassert to permutation.hpp