Functionality related to the command line interface of the Move prover.
Create bytecode and process it.