Increase flexibility of check failure output.

We don't always want to say "expected X, got Y". For instance, when a
condition is false, we don't want to say "expected true, got false".
Add fuzzy string matching.