crucible-0.7: Crucible is a library for language-agnostic symbolic simulation