This is not sure to have been a manually entered market buy. It could have been a triggered stop or a margin call (on a previous short). Or a cascade of margin calls/triggered stops, that shot the price up to 400.
Yeah, you are right, that is possible

It would be nice to get some feedback from the Bitfinex team regarding this.