This command runs all the assertions in the assertion list for which no result is currently known. It can be used to perform checks in bulk, for regression testing or other purposes.