Why Payments Engineers Should Avoid State Machines