Implement Sum.findrecur (with Sister Celine's algorithm)

fix #5511

- [ ] better name?
- [ ] Not sure if this should be a Sum method.  An alternative: some helper function.
There are theoretical upper bounds of `I` and `J`.
See (I think) "Hypergeometric Summation", chapter 7.
Maybe we should use them?