Print final register and memory states

[s-prism]

• Can now pass the print-final-states flag on the command line
• If this flag is passed, prints all possible final states of the register and memory locations that the test is concerned with. Also print relevant statistics that mcompare wants.
  • Currently, arm register names start with 'R' and not 'X' or 'W'. This won't match other litmus testing tools.
• Example structure of what we print:
  Test MP Allowed
  States 3
  1:rax=0; 1:rbx=0;
  1:rax=0; 1:rbx=1;
  1:rax=1; 1:rbx=1;
  No (allowed not found)
  Observation MP Never 0 3

[tperami]

Sorry I forgot to click "Submit review"

[tperami]

Also waiting on #102