v0.11.1

Added

• Ghosts that annotate how transitions on a given conditional branch propagate into the rest of the state space
• Python is now loaded dynamically on demand with support for all versions of python3

Changed

• Cleaned up debug messages and hooked up the debug flag as needed