Request issues on slow performance

[walles]

If refining takes too long, print stats afterwards and ask for people to report them.

We don't want riff to be slow, and if it is we should either fix the performance for that diff, or we should make riff just not highlight large enough input.

Also consider whether we can interrupt riff if it takes too long and just present input without highlighting in that case.