A casual conversation with an ex-insider of the high frequency trading sector reveals surprising details about simulation and their design-verification process