Change #745 removed the single test that we had which was based on gen-spec and prove-raw, as well as switching the test_prove_termination suite to using prove_rs. This means the gen-spec and prove-raw commands are now untested.
They should be removed.

Originally posted by @jberthold in #745 (comment)