Test results should say clearly if it is definitely/possibly true/false

[byorgey]

Right now running a test (either via :test or by attaching a test to a declaration with !!!) produces a potentially confusing message, that in particular does not make it clear whether the test is definitely true or false, or whether Disco has only made a best effort at testing it. We should be able to compute this information from a TestResult.