Runs the Viterbi algorithm on the sequence model, and then proceeds to efficiently
backwards decode the best k label sequence assignments.
This sequence finder only works on SequenceModel's with rightWindow == 0.
ts - The SequenceModel to find the best k label sequence assignments of
k - The number of top-scoring assignments to find.
A Counter with k entries that map from a sequence assignment (int array) to a double score