Added ThompsonEngine. It works!
Added benchmark with pathological case.