Make validity of STS fragments require a witness.

Initial proof by Jan-Oliver Kaiser, adapted by Robbert Krebbers.
1 job for master in 9 minutes and 26 seconds (queued for 4 minutes and 6 seconds)
Status Job ID Name Coverage
  Test
passed #983
coq
buildjob

00:09:26