Remove aspects of the proof checking-system that were related to the old `goal_assume` tactic. It was never much used, and the use-cases it aimed to serve are better handled by sequents.
Remove aspects of the proof checking-system that were related
to the old `goal_assume` tactic. It was never much used, and
the use-cases it aimed to serve are better handled by sequents.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script