Add missing `Proof.` to sealing proofs to help async proof checking
This helps async proof checking (see !406 (comment 46759)).
gsed -i 's/seal \(.*\)\. by eexists. Qed./seal \1. Proof. by eexists. Qed./' \ $(find theories/ -name '*.v')
And checked by inspecting the output of:
git grep '\bseal\b'|fgrep -v 'Proof. by eexists. Qed.'