Add StateMachine benchmarks