Yeah, the Robohell source isn't particularly optimized, and spends most of its time in display.flip and collision processing logic, at least that's what the version I profiled a while back did anyway.
Richiz did an awesome job writing a game from scratch, but could probably get a major speedup...