This package is for experimenting with adding model-checking
support to Crucible.
