Format:
-Xrun<module>[:<options>]
This option dynamically loads a library module that extends the functionality of the EVM, where module specifies the library module to load, and options specifies the module specific options (if any).