Hoist computations that can be precomputed out of a function

For example, weights that are encoded into plaintexts can be hoisted into a function that can be called as a one time setup.

This can be done at the IR level and then modify the function with the extra precomputed args.

Thinking especially of large ML models and #1232