noinline package:liquidhaskell-boot

Adds NOINLINE pragmas to all bindings in the module. This prevents the simple optimizer from inlining such bindings which might have specs that would otherwise be left dangling. https://gitlab.haskell.org/ghc/ghc/-/issues/24386