Redex performance fixes (remove contracts, binary search...)