Add back max-specpdl-size so the recursion limit is higher
Let flx capture read-complete by default