on second thought 5aeca646 is probably wrong and this is probably the right fix

The keys.ss framework test suite seems to confirm this fix, altho
I'm not sure how exactly.

Also tweak the stress test