Defer some sanity checks to after testing for value refence to inline functions
The functional corresponding to an inline function can be marked as dead when
there remains references in for-value contexts. Detect such references before
making sure the function is still live.
Reported with a reduced test case by Teemu Likonen to sbcl-devel on 2013-06-24.