[RewriteStatepointsForGC] Strengthen invariants around BDVs