Inlined the FSM used in JSON lexing so that it now is stateless. This droped deserialization time to 540ms.