Re: @domenic's comment on not covering the throwing-getter case: perhaps we can simply say here:

> If an exception is thrown when accessing or calling `thenable.then`, ...

Would that be sufficient?