Former Headlands Technologies researcher charged with theft of proprietary algorithmic trading code. A rare criminal case in quantitative finance.