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