crux-0.7: Simple top-level library for Crucible Simulation