Hardcode TX and VX register addresses. Decide which tests to write (see comments in gpr/test).