Address ModuleProgram removal from SimplicityHL

[KyrylR]

The basic idea is to add a preprocessing step that would remove witness and param "modules" from the source before sending those to simc

cc BlockstreamResearch/SimplicityHL#323

[apoelstra]

This seems reasonable. Can we parse and then do deletion from the AST and then compile, rather than invoking simc?