Remove BuiltinContext and Options arguments from functions

[brianhuffman]

Most of the haskell functions that implement saw-script primitives take two extra arguments of types BuiltinContext and Options. Some of the functions don't use these arguments at all. But none of the functions should need to use them, since all of the saw-script primitives are implemented in the TopLevel monad (or another monad layered on top of it) and the same information should be obtainable from the monad state.

Passing all these extra arguments around makes the code more complicated, harder to read, and more error prone (as it introduces the possibility of passing arguments that don't match the state in the monad). We should get rid of all of them.