Issue Description:

David Smith was confused at some benchmarks he was working on, and then realized an issue was that he had an always inline function which was recursive, so it didn't get inlined at all. This seems like a programmer error – it's quite likely to be unintentional. I think we should warn if you have a recursive function (or more generally, a function in a SCC) which is marked always inline.