Currently, our jeff tests round-trip QCO programs by converting them to jeff-mlir. This should be extended with translations to and from the jeff binary format. The serialization and deserialization are already implemented in jeff-mlir.