Never inline side-effects generated by scheme functions.
Never inline side-effects generated by scheme functions.

The flag seems to have been introduced by 13716dc under the assumption that
one day one could generate schemes via tactics with inlined subschemes, but
that never happened. Instead, we remove the flag since it is one of the
dubious uses of side-effect inlining outside of the kernel.

Zimmi48/coq,JasonGross/coq,SkySkimmer/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq,JasonGross/coq,SkySkimmer/coq,coq/coq,coq/coq,JasonGross/coq,coq/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq,Zimmi48/coq,Zimmi48/coq,JasonGross/coq