Collectible Card Game Headquarters

Describe the Bug:
With Rest in Peace in play, activating Helm of Obedience against an opponent with a Blightsteel Colossus in their library causes a (nearly) infinite loop. (Or Progenitus, Emrakul, the Aeons Torn, etc)

The problem is that two replacement effects are fighting for control of what happens to the Blightsteel (shuffle into library, and exile).

616.1. If two or more replacement and/or prevention effects are attempting to modify the way an event affects an object or player, the affected object's controller (or its owner if it has no controller) or the affected player chooses one to apply, following the steps listed below. If two or more players have to make these choices at the same time, choices are made in APNAP order (see rule 101.4).

Thus, the player who owns the Blightsteel Colossus is given a choice, and since the Helm of Obedience loop cannot be broken, they would eventually have to choose to exile the Blightsteel Colossus or lose the game since they cannot keep choosing to shuffle it over and over.

Currently, the Blightsteel shuffles over and over until you get a dump and an out of cards error and eventually you win. Is there a way to force the AI to exile it after a certain number of loops or anything? I would be nice to win against these decks without having to have the game almost crash.

Which card did behave improperly ?
Rest in Peace & Helm of Obedience & Blightsteel Colossus (and more creatures)

Which update are you using?(date,name)Which type(Duel,Gauntlet,Sealed Deck)
JiN v1

What exactly should be the correct behavior/interaction ?
Forced to exile (eventually).

Are any other cards possibly affected by this bug ?
Legacy Weapon
Progenitus
Darksteel Colossus
All the big Eldrazi
etc

Actually, all of the Eldrazi are correctly exiled by Rest in Peace / Helm of Obedience combo. So are Guile, Purity, Hostility, Dread and Vigor. (And also Serra Avatar and Worldspine Wurm)

Current tested infinite loop problem cards are:

Blightsteel Colossus
Darksteel Colossus
Legacy Weapon
Progenitus

I confirm it happens with Blightsteel Colossus I didn't test the others.
The dump error mentioned above.(it was followed by 2-3 more)

bad parameters | Open

get_card_instance(1, -1)
0: 0x0236D5D4
1: 0x0232F235
2: 0x0233348F
3: 0x02331037
4: 0x00457E4A
5: 0x02378335
6: 0x023387E3
7: 0x004779D9
8: 0x004367C3
9: 0x02338C5A
10: 0x00475CBF
11: 0x0233813B
12: 0x023386C4
13: 0x0233225F
14: 0x0201729E
15: 0x004018E0
16: 0x004A2806
17: 0x004018E0
18: 0x00435BCF
19: 0x004368C6
20: 0x023363D8
21: 0x0043C200
22: 0x004399BD
23: 0x0047902C
24: 0x004946E9
25: 0x7C80B713