Add another test case for rescan behavior.
Clarify comment.
Improve analysis of unsafe function calls.

We previously regarded references to Bud collections as "unsafe"; in fact, such
references should work fine (they might be non-monotonic but that is a different
matter).
Silence debugging output from unit tests.