WIP: Add symbolic execution.
WIP: Outline of symbolic execution complete, next: ALUs
WIP: symbolic; more sketching, add a few ops
Start testing symbolic execution...
Test ADD.B symbolic