Model of execution for RV32I.
We put together instruction decoding and instruction semantics, and define single and multi step functions.