Was Robinhood's GameStop Halt Reasonable?