Add contract enforcing expected values don't get returned.

Any better suggestions for a name than tc-results/no-expected/c?