With the new workflow of using cryfsm to generate matrix branching programs, there's no need for the circuit -> MBP compiler, which was the main motivation for using python. So I think we can remove the python interface, which'll make compilation and debugging much easier.