In case anyone wants to use a sandbox, this should make sure that is not
being pushed. Also makes sure the build is not pushed.

Comes with a .cabal file that says to use z3, but you gotta install it
first. This is *kind of* involved and so we should just do that
together.