QuipNetwork/xquad ? reverse-engineered prompt

Build me XQuad, a small toolchain for writing and running quadratic optimization problems, with a Rust core and a friendly Python layer.

I want to be able to write a simple text program, turn it into bytecode, run it from the command line, or load it in Python and reuse the same program with different inputs. It should include the assembler, the virtual machine, the CLI, and the Python package that gives me a simple Program and Session style API. Keep the Rust version as the main implementation, and make sure the Python reference version matches it closely.

Please follow the spec in the repo, and make sure the CLI can assemble, disassemble, run, and verify programs. The Python side should be easy to use in a notebook or REPL, and outputs should be easy to inspect by slot. If anything is unclear, check the docs or look up current crate and package docs online if you need to.