Add missing proof checks and tests#1439

psgreco merged 1 commit intoElementsProject:masterElementsProject/elements:masterfrom

tomt1664:fix/check-missing-proofstomt1664/elements:fix/check-missing-proofsCopy head branch name to clipboard