Extended avoidvirtregs to check which registers are actually used
within any given trace, by checking each instruction in turn.
Each instruction will need to be implemented individually,
as register interaction does not align nicely with e.g., the
instruction format.