Thanks for addressing the FIXME in the alter_table regression test.
The change LGTM. Verifying both planner visibility via EXPLAIN and runtime correctness with a SELECT after the index rename is a solid improvement, and using the standard enable_seqscan/bitmapscan/indexonlyscan = off pattern keeps the test deterministic.