add concept of state
State is a valution from registers and memory locations to concrete values
This is required for next commits that will introduce memory access instructions, which
have sequence.
This commit has the side-effect of speeding up verification of larger optimizations,
since the SMT expressions of each register are now cached