Better tests of cyclicity.
Fix memoization.
Fix crashes on delayed cyclic reductions.

Fixes crashes due to recur being weak and not being captured strongly
by the delay of some cyclic reductions.