[WIP] Implementing encoding

Add proptest encoding round-trip test

Minor ISA changes

Modify the Rust instruction definition for v0.2

Add ISA version 0.2

This changes the registers to 16-bit registers in order to solve the
code and data addressing problems in the first revision. Having
registers be address-sized means that we don't need to use register
pairs or segments. Some of these changes open up new encoding space, or
invalidate some previous design decisions. For instance, registers are
16 bits now, so AND/OR/XOR can no longer have a full-size immediate in
one byte. With this, we free up encoding space for other options.

Major additions include a "load upper/lower immediate" instruction.

Implement mov and add tests

Run cargo fmt

Start adding framework for encoding and decoding

Start adding the toolchain

The toolchain project will include an instruction set simulator, an
assembler, etc.

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