Remove deprecated log-based state machine

(Now you have to use the new Tree state machine.)