Start fair interleaving for Redex enumeration (decode)

Also remove dead code and split disj-sum/e #:append to separate function
Encode for fair interleaving and better test case
Redex performance fixes (remove contracts, binary search...)