Add instruction program synthesis

This is inspired by Whitequark's work with program synthesis in Rosette.
I used it for generating wider shifts to gain some confidence that I
don't need instructions that use the carry.

Add a revision of the ISA design