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