`effectful.handlers.llm.synthesis` should type-check generated code

[jfeser]

Currently code is parsed and loaded, but not type checked. We should support type checking, at least optionally.