Add some useful operators to CheckResult.

Allow `Check(...) or Check(...)`/`Check(...) and Check(...)`, as well as a plain
conditional Check(bool).
Provide a "don't fork" mode for testing.
Trivial: improve check failure output.