Enhance safety checking for joins.

Similar to the recent improvements to RSE for joins, we can also satisfy join
dependencies when the join covers the key columns of the non-RSE collection.