Возможно, информация будет полезна.

Если говорить про КП/ББ, то там для перемещаемого алгоритма сборки препятствием является то, что нет метаинформации о структуре стека вызовов.
И стек маркируется упрощённо - консервативно.
Думаю, что в А2 ситуация та же.

Т.е. невозможно реализовать фазу fixup перемещаемого сборщика - не получится пофиксить адреса в стеке.

Хотя:
1) Не метаинформация, а отладочная (в неэффективном формате) в КП/ББ есть о структуре стека. Т.е. как бы есть от чего оттолкнуться (например, догенерировать метаинформацию о кадрах стека в рантайме).
2) Если собирать мусор с перемещением только при пустом стеке, то ОК. Но в А2 так не получится, по понятным причинам )))