decode group size
decode index dots
decode index style
decode index touches
decode auto rotate
move JSON-specific string decoders to the JSON deserializer
add tests for int/bool decoders
decode shake action
decode auto play