added clarifying remark to README to the effect that options[i] and
transition[i] must have the same length for each fixed i (but the lengths
may vary as a function of i)