Game-domain specialization

Maxmin trace selection, CCED prefix emphasis (e.g. normalize score
based on shorter sequence length, make insertions and deletions at the
end free), model-driven game trace synthesis for validation and testing.