This patch brings +3% performance improvement on average. It removes ToVertex() as an important hotspot of the emulator.
