To run TNT specs in the model checker, we'll need to convert the TNT AST into the ApalacheIR and serialize it into JSON.

For the Apalache side, see https://github.com/informalsystems/apalache/milestone/74