Added debugging to explicit synth
Added lexicographic ranking function example from termination paper
Make execok volatile, don't shuffle test vectors