Sat May 26 16:23:24 EDT 2018
First, start by storing the register defaults in the state map.
Currently they are in the instructions.
EDIT: So I have something that works, but it's not pretty. The
problem is really that register types are deeply embedded inside the
code and there's no good way to get to them other than just executing
with dummy inputs.
A proper way would be to provide actual types for those dummy inputs,
but here the 0 value will do.