Constrained decoding heuristics aren't quite right

[mjpost]

To implement constrained decoding, we make sure that the LM state of each proposed node matches the input sentence. This is necessary but insufficient. See the test case in test/decoder/constrained, where some constrained sentences have multiple outputs not all equal to the constraints.