Given a specification program and some inputs, evaluate a program against the specification for both performance and correctness.
The default distribution of instructions. For now, we do not support any sort of jumps. All the other possible instructions along with constant numbers and unused slots are equally likely. The numeric value of constants is currently a uniform distribution over 18-bit words.