make-permutation-oracle (numelts)

Create a membership oracle to test whether a 0/1-vector represents a permutation matrix on NUMELTS elements.