Release anneal-v0.1.0-alpha.21

[anneal][README] Document TCB shrinking

gherrit-pr-id: Gy4y7cstkui5s6c7jletzjbu37xtjglxm

[anneal][README] Document TCB shrinking

gherrit-pr-id: Gy4y7cstkui5s6c7jletzjbu37xtjglxm

[anneal][README] Tighten wording

Release 0.1.0-alpha.21.

gherrit-pr-id: Ggwzrriapr76e6dx74cv4skvdp7ikd37h

[anneal][README] Tighten wording

gherrit-pr-id: Ggwzrriapr76e6dx74cv4skvdp7ikd37h

Loosen sorry detection in aeneas.rs

gherrit-pr-id: Gwzn672lmlfhl2png2epoznfxivhkwz46

Add dummy theorem to lib.rs

gherrit-pr-id: Guxil4zem4wu65n7ovo5lzcl72c4u7bmc

Add dummy theorems to empty files in success_allow_sorry

gherrit-pr-id: Gulbbmsh7i77laxsbbfe2simhr3ahvz4d

Translate remaining annotations in logic_and_control.rs

gherrit-pr-id: Gul26yz32ibbawcoucmtkqabefkipqypg

Add dummy functions to remaining empty files

gherrit-pr-id: Gtyp7hgnag75i63fgq3bnebmvi4zkqf6k