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...)
Merge branch 'interleave' of https://github.com/maxsnew/racket