Symbolic AND
Symbolic RRA
Symbolic SXT
Symbolic SUB
Add symbolic CMP; concrete-ify in double-op instructions
Correct load_src/dst for symbolic addresses
Fix symbolic input; concrete 0s in AND propagate; SR-setting ops always clear high byte; handle ctrl+C