Previously a bottoming function with a strictness wrapper 
had a hidden inlining, and that was Very Bad, because in 
    f x = if ... then bot_fun x else x+1
we really want to pass the *unboxed* x to bot_fun. This
happens quite a bit in error handling code, eg for array
indexing.