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