Change tests to reflect expected behavior

This commit modifies the incremental tests (and in particular, the
'rechecked' and 'stale' annotations) to more accurately describe what
the expected behavior should be after making interfaces changes
propagate only one step out.

Author: MichaelLeeDBX